by International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented togeth…