Verifying Array Programs by Transforming Verification Conditions.

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full VMCAI paper archive.