# Verified Software: Theories, Tools, Experiments

> scientific article

**Wikidata**: [Q22244830](https://www.wikidata.org/wiki/Q22244830)  
**Source**: https://4ort.xyz/entity/verified-software-theories-tools-experiments


## References

1. ORCID Public Data File 2021
2. Open Library
3. Crossref
4. Goodreads
5. [dblp computer science bibliography](https://dblp.org/db/conf/vstte/vstte2005.html)