Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | d015e9bf-ec01-4690-9ddf-e58ee8c7ad19 |
| isbn | 9781509092390 (online) |
| issn | |
| language | eng |
| physical | |
| publication | – publisher: IEEE Computer Society dateOfPublication: c2006 |
| publishDate | c2006 |
| subjects | |
| title | Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India / 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.]. |
| topic | Software engineering Formal methods (Computer science) |