Program Slicing Using Weakest Preconditions.

Joseph J. Comuzzi, Johnson M. Hart

Browse the full FM paper archive.