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
@InProceedings{chargueraud-10-cfml, author = "Arthur Chargu{\'e}raud", title = "Program verification through characteristic formulae", year = "2010", pages = "321--332", editor = "Paul Hudak and Stephanie Weirich", publisher = "ACM", booktitle = "Proceeding of the 15th {ACM} {SIGPLAN} international conference on Functional programming ({ICFP})", url = "http://arthur.chargueraud.org/research/2010/cfml", }