Author:Alberto Pettorossi

Publications
Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti In:VPT 2014. Second International Workshop on Verification and Program Transformation
Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti In:VPT 2013. First International Workshop on Verification and Program Transformation