Formal Methods for Executable Software Models
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
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