# Reducing the Usability Barrier to Specification and Verification

> doctoral thesis by Todd Wademan Schiller, Computer Science & Engineering, University of Washington, 2014

**Wikidata**: [Q113668268](https://www.wikidata.org/wiki/Q113668268)  
**Source**: https://4ort.xyz/entity/reducing-the-usability-barrier-to-specification-and-verification


## References

1. WorldCat