Formal Methods for Executable Software Models
Subtitle: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 343
ISBN-13: 9783319073170