Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@unpublished{dogguy-glondu-12, author = "Mehdi Dogguy and St\'ephane Glondu", title = "Certifying confluence in a timed process calculus", year = 2012, }