Tool-Supported Invariant-Based Programming

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

Beschreibung

Dissertation
Zeitraum17 Aug. 2010
GeprüfterJohannes Eriksson
Überprüfung stattgefunden am
  • Åbo Akademi