Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Dissertation uri icon

Datum der Disputation

  • 10.4.2015

Autor:in

  • Ammann, Christian

Erstbetreuer:in

Externe URL

Organisationseinheit

Fach