Application of Automatic Transformations to Program Verification.

Robert Veroff, Lawrence J. Henschen

Browse the full IJCAI paper archive.