# Provably Correct Systems

> 2017 book

**Wikidata**: [Q56939452](https://www.wikidata.org/wiki/Q56939452)  
**Source**: https://4ort.xyz/entity/provably-correct-systems