Results

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

Download Product Archive File - 978-3-540-45251-5 Download product archive files for 978-3-540-45251-5