Formal Methods for Components and Objects
Subtitle: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures
Publisher: Springer London, Limited
Published: 2003
Language: eng
Number of pages: 512
ISBN-13: 9783540396567