# Reducer-based construction of conditional verifiers

> Research article (Proceedings of the 40th International Conference on Software Engineering, 2018) · cited 40× · AI/ML

**Wikidata**: [openalex:W2794720712](https://www.wikidata.org/wiki/openalex:W2794720712)  
**Source**: https://4ort.xyz/entity/reducer-based-construction-of-conditional-verifiers