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.
In: Lecture Notes in Computer Science, 8137, In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), Springer, pp. 289-304, ISBN 978-3-642-40560-0,
[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: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM)
Series Name: Lecture Notes in Computer Science
Volume: 8137
Publisher: Springer
ISBN: 978-3-642-40560-0
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Formal Methods in System Engineering
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2013-0346
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