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.