Blättern nach Person
 | Ebene hoch |
Springe zu: 2000
Anzahl der Einträge: 1.
2000
Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A. (2000)
Specification and validation of information processing systems by process encapsulation and symbolic execution.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum