Integrated Formal Methods
Subtitle: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540247562
Subjects: Logic design