First International Conference on Software Engineering and Formal Methods
Subtitle: proceedings : Brisbane, Australia, September 22 to 27, 2003
By: [edited by Antonio Cerone and Peter Lindsay] ; IEEE Computer Society
Contributors: Cerone, Antonio; Lindsay, Peter Alexander, 1957-; IEEE Computer Society
Publisher: IEEE Computer Society
Published: 2003
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 229
Copyright date: 2003
Subjects: Software engineering; Congresses; Formal methods (Computer science)
Other titles: Software engineering and formal methods; SEFM 2003; IEEE International Conference [on] Software Engineering and Formal Methods
Notes: "1st IEEE International Conference Software Engineering and Formal Methods"--cover.

"SEFM 2003"--half T.p.

Includes bibliographical references and author index.