Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Critical Systems: Formal Methods and Automated Verification
- Springer 2017
- Lecture Notes in Computer Science .
9783319671130
Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Special Purpose and Application-Based Systems; Mathematical Logic and Formal Languages