Integrated Formal Methods
Subtitle: 5th International Conference, IFM 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540322405
Subjects: Computer science