# Applying Formal Modelling to the Specification and Testing of SDN Network Functionality

> 2016 master's thesis by Matt Stevens at Victoria University of Wellington

**Wikidata**: [Q112926563](https://www.wikidata.org/wiki/Q112926563)  
**Source**: https://4ort.xyz/entity/applying-formal-modelling-to-the-specification-and-testing-of-sdn-network-functionality


## References

1. [Source](https://doi.org/10.26686/wgtn.17058158)