DMCA

Backing up slicing: Verifying the interprocedural twophase Horwitz-Reps-Binkley slicer (2009)

by Daniel Wasserrab
Venue:In Archive of Formal Proofs. http: //afp.sf.net/entries/HRB-Slicing.shtml
Citations:2 - 2 self