@inproceedings {264993,
	author = {Rudiger Birkner and Tobias Brodmann and Petar Tsankov and Laurent Vanbever and Martin Vechev},
	title = {Metha: Network Verifiers Need To Be Correct Too!},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {99--113},
	url = {https://www.usenix.org/conference/nsdi21/presentation/birkner},
	publisher = {USENIX Association},
	month = apr
}
