TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Jump to: 2000
Number of items: 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.
Conference or Workshop Item, Bibliographie