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: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), Springer, In: Lecture Notes in Computer Science, 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:

Optionen (nur für Redakteure)

View Item View Item