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