@inproceedings {CTMJA21, 
	title = {Verifying QUIC Implementations using Ivy},
	booktitle = {Workshop on the Evolution, Performance and Interoperability of QUIC (EPIQ?21)},
	author = {Christophe Crochet and Tom Rousseaux and Maxime Piraux and Jean-François Sambon and Axel Legay},
	year = {2021},
}