Results
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
Download Product Archive File - 978-3-540-36103-9