Critical Systems: Formal Methods and Automated Verification

MLA

Petrucci, Ana Cavalcanti, and Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. Springer International Publishing, 2017.

APA

Petrucci, P., Cavalcanti, A., & Seceleanu, C. (2017). Critical Systems: Formal Methods and Automated Verification. Springer International Publishing.

Chicago

Petrucci, Ana Cavalcanti, and Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. : Springer International Publishing, 2017.