Crochet, Christophe ; Rousseaux, Tom ; Piraux, Maxime ; Sambon, Jean-François ; Legay, Axel. Verifying QUIC implementations using Ivy. ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC (Germany, du 07/12/2021 au 07/12/2021), (2021). doi:10.1145/3488660.3493803 (Accepté/Sous presse).
http://hdl.handle.net/2078.1/252745