ISBN 9783642309816 books & textbook
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 7320)
Bernardo, Marco Cortellessa, Vittorio Pierantonio, Alfonso
Springer /2012-06-14 Paperback / 446 Pages
isbn-10: 364230981X / isbn-13: 9783642309816
