@proceedings{DBLP:conf/icfem/2003,
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formal Methods and Software Engineering, 5th International
Conference on Formal Engineering Methods, ICFEM 2003, Singapore,
November 5-7, 2003, Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2885},
year = {2003},
isbn = {3-540-20461-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}