Ein umfassendes Werk über formale Methoden in der Softwaretechnik, zusammengestellt aus den Beiträgen der 16. ICFEM-Konferenz 2014 in Luxemburg; bietet theoretische Grundlagen und praktische Anwendungen für Entwickler und Akademiker.