\bib{2002/ericksson-book}
\yr 2002
\editor Lars-Henrik Eriksson
\editor Peter A. Lindsay
\isbn 3--540--43928--5
\book FME 2002: formal methods---getting IT right, international symposium of formal methods Europe, Copenhagen, Denmark, July 22-24, 2002, proceedings
\series Lecture Notes in Computer Science
\seriesvol 2391
\publ Springer-Verlag
\publaddr Berlin
\endref
