# Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers

> doctoral thesis by Konstantin Weitz, Computer Science & Engineering, University of Washington, 2017

**Wikidata**: [Q113668354](https://www.wikidata.org/wiki/Q113668354)  
**Source**: https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers


## References

1. WorldCat