Blättern nach Person
 | Ebene hoch |
Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings.
doi: 10.1007/978-3-642-40561-7_20
Konferenzveröffentlichung, Bibliographie
Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie
Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum