21. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
13. - 14. März 2018, Tübingen

Kontakt

Prof. Dr. Oliver Bringmann
Universität Tübingen