32251078
9783642309816
Bernardo, Marco is the author of 'Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures', published 2012 under ISBN 9783642309816 and ISBN 364230981X.
[read more]