Extra Materials Archive

Book cover

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

Extra Materials File 978-3-540-45251-5