Extra Materials Archive

Book cover

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

© 1999

Soft cover - Print (ISBN: 978-3-540-66462-8)

Electronic (ISBN: 978-3-540-48257-4)

View this book on SpringerLink

Extra Materials File 978-3-540-48257-4