# Verifying Concurrent Programs by Controlling Alias Interference

> doctoral thesis by Colin S. Gordon, Computer Science & Engineering, University of Washington, 2014

**Wikidata**: [Q113668234](https://www.wikidata.org/wiki/Q113668234)  
**Source**: https://4ort.xyz/entity/verifying-concurrent-programs-by-controlling-alias-interference


## References

1. WorldCat