SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam

Author/Creator:

IEEE International Conference on Software Engineering and Formal Methods Corporate Author

Publication:

[Place of publication not identified] IEEE Computer Society 2009

Conference Name:

IEEE International Conference on Software Engineering and Formal Methods

Format/Description:

Conference/Event
Book

Subjects:

Software engineering -- Congresses
Formal methods (Computer science) -- Congresses

Language:

English

Notes:

Bibliographic Level Mode of Issuance: Monograph

Contributor:

Dang, Hung Van, 1950- Contributor
Krishnan, Padmanabhan Contributor
Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku Content Provider
IEEE Computer Society Content Provider
International Institute for Software Technology Content Provider

ISBN:

1-5090-6875-9

Loading...