TU Darmstadt / ULB / TUbiblio

Program Transformation Based on Symbolic Execution and Deduction

Ji, Ran and Hähnle, Reiner and Bubel, Richard Hierons, Robert and Merayo, Mercedes and Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
8137, In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, pp. 289-304, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2013
Editors: Hierons, Robert and Merayo, Mercedes and Bravetti, Mario
Creators: Ji, Ran and Hähnle, Reiner and Bubel, Richard
Title: Program Transformation Based on Symbolic Execution and Deduction
Language: German
Title of Book: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain
Volume: 8137
Divisions: 20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2013-0432
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item