SEFM 2009 Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam / 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).

Author/creator IEEE International Conference on Software Engineering and Formal Methods
Format Electronic
Publication InfoLos Alamitos, Calif. : IEEE Computer Society,
Descriptionxi, 326 p. : ill. ; 28 cm.
Supplemental ContentFull text available from IEEE Electronic Library (IEL) Conference Proceedings
Supplemental ContentFull text available from IEEE Conference Proceedings Archive 2005-2009
Supplemental ContentFull text available from IEEE Electronic Library (IEL)
Subjects
Software engineering--Congresses.
Formal methods (Computer science)--Congresses.

Other author/creatorDang, Hung Van, 1950-
Other author/creatorKrishnan, Padmanabhan, 1976-
Other author/creatorIEEE Computer Society.
Other author/creatorInternational Institute for Software Technology.
Other author/creatorĐại học quó̂c gia Hà Nội.
Other author/creatorHokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku.
Other author/creatorIEEE Xplore (Online service)
Portion of title Software Engineering and Formal Methods
General note"IEEE Computer Society Order Number P3870"--T.p. verso.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009934104
ISBN9780769538709 (pbk.)
ISBN0769538703 (pbk.)