@InProceedings{BBGHLU17,
author = {Bernhard Beckert and Thorsten Bormer and Stephan
Gocht and Mihai Herda and Daniel Lentzsch and
Mattias Ulbrich},
title = {{SemSlice}: Exploiting Relational Verification for
Automatic Program Slicing},
booktitle = {13th International Conference on integrated Formal
Methods ({iFM} 2017)},
publisher = {Springer},
year = {2017},
venue = {Torino, Italy},
month = sep,
eventdate = {2017-09-18/2017-09-22}
}
Zurück zur Hauptseite von "Praxis der Forschung"
Praxis der Forschung
SemSlice: Exploiting Relational Verification for Automatic Program Slicing
| Autor(en): | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich |
|---|---|
| In: | 13th International Conference on integrated Formal Methods (iFM 2017) |
| Verleger: | Springer |
| Jahr: | 2017 |