Formale Methoden für Alle

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

Abstract is missing.