Marco Bernardo, Ferruccio Damiani, Reiner H�hnle, Einar Broch Johnsen, Ina Schaefer
Formal Methods for Executable Software Models
- Springer 2014
- Lecture Notes in Computer Science .
9783319073170
Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Theory of Computation