Critical Systems: Formal Methods and Automated Verification

MLA

Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander, Stefania Gnesi, and Alexander Knapp. Critical Systems: Formal Methods and Automated Verification. Springer International Publishing, 2016.

APA

Beek, A., Gnesi, S., & Knapp, A. (2016). Critical Systems: Formal Methods and Automated Verification. Springer International Publishing.

Chicago

Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander., Stefania Gnesi, and Alexander Knapp. Critical Systems: Formal Methods and Automated Verification. : Springer International Publishing, 2016.