Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Program verification via iterated specialization
PEPM, 2014.
@article{PEPM-J-2013-AngelisFPP14,
author = "Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti",
doi = "10.1016/j.scico.2014.05.017",
journal = "{Science of Computer Programming}",
pages = "149--175",
title = "{Program verification via iterated specialization}",
volume = 95,
year = 2014,
}