# Towards Verified Systems

> 1994 book

**Wikidata**: [Q105938635](https://www.wikidata.org/wiki/Q105938635)  
**Source**: https://4ort.xyz/entity/towards-verified-systems