Mathias Soeken, Max Nitze, Rolf Drechsler. Formale Methoden für Alle. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 213-216, Cuvillier, 2014.
Abstract is missing.