Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Browse the full SEFM paper archive.