FME 2001 by International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany) | Menrva Books