Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti
Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti. by Prof. Tiziana Margaria (University of Limerick and Lero - The Irish Software Research Centre, Ireland) and Prof. Bernhard Steffen (TU Dortmund, Germany). We hereby thank theĀ ...