Extra Materials Archive

Book cover

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

© 2002

Soft cover - Print (ISBN: 978-3-540-00029-7)

Electronic (ISBN: 978-3-540-36103-9)

View this book on SpringerLink

Extra Materials File 978-3-540-36103-9