Verification, Model Checking, and Abstract Interpretation
- Springer 2016
- Lecture Notes in Computer Science .
9783662491225
Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters