Fourth IEEE International Conference on Software Engineering and Formal Methods
Subtitle: SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
By: edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.].
Contributors: Dang, Hung Van, 1950-; Pandya, Paritosh K.; Computer Society of India.; International Institute for Software Technology.
Publisher: IEEE Computer Society
Published: 2006
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 263
ISBN-13: 9780769526782
Subjects: Software engineering -- Congresses; Formal methods (Computer science) -- Congresses
Genres: Congresses.
Other titles: Conference on Software Engineering and Formal Methods; Software Engineering and Formal Methods; SEFM 2006
Notes: "IEEE Computer Society Order Number P2678"--T.p. verso.

Includes bibliographical references and index.