Model Checking Software
Dragan Bo�nacki, Anton Wijs
Model Checking Software - Springer 2016 - Lecture Notes in Computer Science .
9783319325828
Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Model Checking Software - Springer 2016 - Lecture Notes in Computer Science .
9783319325828
Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages