Integrated Formal Methods
Subtitle: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540409113
Subjects: Computer science