DMCA

Program Transformation for Program Verification

by Alberto Pettorossi , Maurizio Proietti