MPG.eBooks - Author Search Results

Cover Image

1

FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

by Eriksson, Lars-Henrik
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Lindsay, Peter Alexander...”