# Semantics-based generation of verification conditions by program specialization

> Research article (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015) · cited 25× · AI/ML

**Wikidata**: [openalex:W2081867734](https://www.wikidata.org/wiki/openalex:W2081867734)  
**Source**: https://4ort.xyz/entity/semantics-based-generation-of-verification-conditions-by-program-specialization