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

Saved in:
Bibliographic Details
Meeting name:International Conference on Formal Engineering Methods (5th : 2003 : Singapore)
Imprint:Berlin ; New York : Springer-Verlag, 2003.
Description:xi, 681 p. : ill. ; 24 cm.
Language:English
Series:Lecture notes in computer science ; 2885
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5018246
Hidden Bibliographic Details
Other authors / contributors:Dong, Jin Song, 1967-
Woodcock, Jim.
ISBN:354020461X (alk. paper)