Slicing Software for Model Construction.

Matthew B. Dwyer, John Hatcliff

Browse the full PEPM paper archive.