Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Semantics-based generation of verification conditions by program specialization. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 91-102, ACM, 2015. [doi]
Abstract is missing.