Tool-Supported Invariant-Based Programming

Aichernig, B. (Ausführende/r)

Aktivität: Prüfungs- oder BetreuungstätigkeitExterne Prüfungstätigkeit

Beschreibung

Dissertation
Zeitraum17 Aug 2010
GeprüfterJohannes Eriksson
Überprüfung stattgefunden amAbo Akademi Turku