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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item