Teaching Formal Methods
Subtitle: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540304722