Auflistung nach Autor "Kourie, Derrick"
Anzeige der Dokumente 1-1 von 1
-
Tool Support for Correctness-by-Construction
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
93-94
- Startseite
- Auflistung nach Autor