Title :
Proceedings of the Second International Conference on Software Engineering and Formal Methods
Abstract :
Presents the title -page of the proceedings record.
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347491
