Program Verification via Iterated SpecializationI E. De Angelisa,∗, F. Fioravantia,∗, A. Pettorossib,∗, M. Proiettic,∗ a DEC, b DICII, University ”G. d’Annunzio”, Viale Pindaro 42, 65127 Pescara, Italy - Pescara - Document - PDFSEARCH.IO

First Page	Meta Content
	Program Verification via Iterated SpecializationI E. De Angelisa,∗, F. Fioravantia,∗, A. Pettorossib,∗, M. Proiettic,∗ a DEC, b DICII, University ”G. d’Annunzio”, Viale Pindaro 42, 65127 Pescara, Italy Add to Reading List Document Date: 2014-05-29 09:55:13 Open Document File Size: 326,75 KB Share Result on Facebook

Program Verification via Iterated SpecializationI E. De Angelisa,∗, F. Fioravantia,∗, A. Pettorossib,∗, M. Proiettic,∗ a DEC, b DICII, University ”G. d’Annunzio”, Viale Pindaro 42, 65127 Pescara, ItalyAdd to Reading List