Results
FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
© 2001
Soft cover - Print (ISBN: 978-3-540-41791-0)
Electronic (ISBN: 978-3-540-45251-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-45251-5