Formal Methods: Foundations and Applications
- Springer 2015
- Lecture Notes in Computer Science .
9783319150758
Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Management of Computing and Information Systems