Formal Methods for Industrial Critical Systems
- 2011
978-3-642-24431-5
Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques Software Engineering Special Purpose and Application-Based Systems Programming Languages, Compilers, Interpreters Computer Science