2
Published 2002
Springer Berlin Heidelberg
...This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002...