Welcome to the Seminar Wiki Projektmanagement im Softwarebereich: Writing an extension for NuSMV, SS 2016
Materialien
- hier findet ihr Dokumente und zusätzliche Dateien: materials
SWS/credit hrs: 4+1 , credits: 10 ECTS
Dozenten: Hannes Klarner, Heike Siebert, Adam Streck
Sprache: Deutsch/Englisch