TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, 8137, [Conference or Workshop Item]

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, 8137, ISBN 978-3-642-40560-0,
[Conference or Workshop Item]

This list was generated on Sat Aug 17 01:54:05 2019 CEST.