Der Band „FME 2001“ sammelt die Schlüsselergebnisse des Berliner Symposiums zu formalen Methoden, beleuchtet deren theoretische Grundlagen und zeigt anhand von Praxisbeispielen, wie sie die Effizienz in der Softwareentwicklung steigern können.