PT Unknown
AU Beckert, B
   Bormer, T
   Gocht, S
   Herda, M
   Lentzsch, D
   Ulbrich, M
TI SemSlice : Exploiting Relational Verification for Automatic Program Slicing
SE Integrated Formal Methods : 13th International Conference, IFM 2017, Proceedings, Turin, Italy, 20th - 22nd September 2017. Ed.: N. Polikarpova
PY 2017
BP 312
EP 319
VL 10510
DI 10.1007/978-3-319-66845-1_20
LA english
ER