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