TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
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