1. SEFM 2003:
Brisbane,
Australia
1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia.
IEEE Computer Society 2003, ISBN 0-7695-1949-0 BibTeX
@proceedings{DBLP:conf/sefm/2003,
title = {1st International Conference on Software Engineering and Formal
Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia},
booktitle = {SEFM},
publisher = {IEEE Computer Society},
year = {2003},
isbn = {0-7695-1949-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynote Speaker 1
Testing
Formal Models for Security
Keynote Speaker 2
Program Verification
Keynote Speaker 3
Integration of Formal and Informal Methods I
Integration of Formal and Informal Methods II
Object-Oriented Modelling
Automated Verification
Copyright © Sat May 16 23:37:24 2009
by Michael Ley (ley@uni-trier.de)
