1 option
SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
- Format:
- Book
- Conference/Event
- Author/Creator:
- IEEE International Conference on Software Engineering and Formal Methods, Corporate Author.
- Conference Name:
- IEEE International Conference on Software Engineering and Formal Methods (7th : 2009 : Hanoi, Vietnam)
- International Conference on Software Engineering and Formal Methods.
- Language:
- English
- Subjects (All):
- Software engineering--Congresses.
- Software engineering.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Place of Publication:
- [Place of publication not identified] IEEE Computer Society 2009
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 9781509068753
- 1509068759
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.