Evaluation of Program Slicing in Software Verification.

Marek Chalupa, Jan Strejcek

Browse the full IFM paper archive.