DocumentCode
3626164
Title
Fifth IEEE International Conference on Software Engineering and Formal Methods - Copyright
fYear
2007
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
ISSN
1551-0255
Print_ISBN
0-7695-2884-8;978-0-7695-2884-7
Electronic_ISBN
2160-7656
Type
conf
DOI
10.1109/SEFM.2007.15
Filename
4343912
Link To Document