Formal Methods for Components and Objects
Subtitle: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
Publisher: Springer London, Limited
Published: 2008
Language: eng
ISBN-13: 9783540921882