Login / Signup
Jean-François Sambon
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Model Checking
Reinforcement Learning
General Purpose
Top Venues
EPIQ@CoNEXT
</>
Publications
</>
Christophe Crochet
,
Tom Rousseaux
,
Maxime Piraux
,
Jean-François Sambon
,
Axel Legay
Verifying QUIC implementations using Ivy.
EPIQ@CoNEXT
(2021)