Formal Methods for Components and Objects
Subtitle: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Publisher: Springer London, Limited
Published: 2013
Language: eng
Number of pages: 241
ISBN-13: 9783642406157