Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Author(s)

Bibliographic Information

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Jin Song Dong, Jim Woodcock (eds.)

(Lecture notes in computer science, 2885)

Springer, c2003

Available at  / 23 libraries

Search this Book/Journal

Note

Includes bibliographies and index

Related Books: 1-1 of 1

Details

Page Top