ISBN 9783319073163 books & textbook
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Programming and Software Engineering)
Bernardo, Marco Damiani, Ferruccio Haehnle, Reiner Johnsen, Einar Broch Schaefer, Ina
Springer /2014-05-21 Paperback / 351 Pages
isbn-10: 3319073168 / isbn-13: 9783319073163
