Formal methods and software engineering
Subtitle: 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings
By: Jin Song Dong, Jim Woodcock (eds.).
Contributors: Dong, Jin Song, 1967-; Woodcock, Jim.
Series: Lecture notes in computer science -- 2885.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 681
Subjects: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.

Also available via the World Wide Web.