Aktivitäten pro Jahr
Aktivitäten
- 1 Ergebnisse
Suchergebnisse
-
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Ausführende/r)
17 Aug. 2010Aktivität: Prüfungs- oder Betreuungstätigkeit › Externe Prüfungstätigkeit