Critical Systems: Formal Methods and Automated Verification
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
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