Formal Methods for Components and Objects
Subtitle: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010
Publisher: Springer London, Limited
Published: 2011
Language: eng
ISBN-13: 9783642252716