# Pushing the Limits of Compiler Verification

> doctoral thesis by Eric Alexander Mullen, Computer Science & Engineering, University of Washington, 2018

**Wikidata**: [Q113668323](https://www.wikidata.org/wiki/Q113668323)  
**Source**: https://4ort.xyz/entity/pushing-the-limits-of-compiler-verification


## References

1. WorldCat