Formal Methods for Components and Objects
Subtitle: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540319399
Subjects: Object-oriented programming (computer science)