Semantics-based generation of verification conditions by program specialization.

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

Browse the full PPDP paper archive.