Blättern nach Person
 | Ebene hoch |
Springe zu: 2007
Anzahl der Einträge: 2.
2007
Schweitzer, Dirk Stephan (2007)
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Schweitzer, Dirk Stephan (2007)
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
Technische Universität Darmstadt
Dissertation, Bibliographie
Drucken
Impressum