Formale Methoden für Alle

@inproceedings{pub7158,
    author = {

Soeken, Mathias
 and 

Nitze, Max
 and 

Drechsler, Rolf
},
    editor = {

Ruf, Jürgen
 and 

Allmendinger, Dirk
 and 

Michel, Matteo
},
    title = {Formale Methoden für Alle},
    booktitle = {MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2014), 17., March 10-12, Böblingen, Germany},
    year = {2014},
    pages = {213--217},
    publisher = {Cuvillier Verlag Göttingen}
}