TU Darmstadt
ULB
TUprints
Browse by Person
Up a level |
Jump to: 2009
Number of items: 1.
2009
Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Primary publication