TU Darmstadt / ULB / TUbiblio

Program Transformation Based on Symbolic Execution and Deduction (Technical Report)

Ji, Ran and Hähnle, Reiner and Bubel, Richard (2013):
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
(TUD-CS-2013-0348), [Report]

Item Type: Report
Erschienen: 2013
Creators: Ji, Ran and Hähnle, Reiner and Bubel, Richard
Title: Program Transformation Based on Symbolic Execution and Deduction (Technical Report)
Language: German
Number: TUD-CS-2013-0348
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science > Formal Methods in System Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2013-0348
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item