Formal Methods for Components and Objects
Subtitle: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540301011