# Practical Verification of Safety-critical Systems

> doctoral thesis by Stuart Pernsteiner, Computer Science & Engineering, University of Washington, 2018

**Wikidata**: [Q113668330](https://www.wikidata.org/wiki/Q113668330)  
**Source**: https://4ort.xyz/entity/practical-verification-of-safety-critical-systems


## References

1. WorldCat