SEFM 2009
Subtitle: Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
By: editors, Dang Van Hung, Padmanabhan Krishnan ; sponsored by IEEE Computer Society ; supported by UNU-IIST, Macao, China, The Vietnam National University, Japan Advanced Institute of Science and Technology (JAIST)
Contributors: Dang, Hung Van, 1950-; Krishnan, Padmanabhan, 1976-; IEEE Computer Society; International Institute for Software Technology; Đại học quó̂c gia Hà Nội; Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku
Publisher: IEEE Computer Society
Published: 2009
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 326
ISBN-13: 9780769538709
Subjects: Formal methods (Computer science); Congresses; Software engineering
Other titles: Software Engineering and Formal Methods
Notes: "IEEE Computer Society Order Number P3870"--T.p. verso.

Includes bibliographical references and index.