Abstract :
The author index contains an entry for each author and coauthor included in the proceedings record.
Conference_Titel :
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on
Conference_Location :
Brisbane, Qld., Australia
Print_ISBN :
0-7695-1949-0
DOI :
10.1109/SEFM.2003.1236225
