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
@submitted{backes-hritcu-maffei-12, author = "Michael Backes and Catalin Hritcu and Matteo Maffei", title = "Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations Michael Backes", year = 2012, mon = jan, }