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
@phdthesis{chargueraud-10-thesis, author = "Arthur Chargu{\'e}raud", title = "Characteristic Formulae for Mechanized Program Verification", year = "2010", mon = dec, url = "http://arthur.chargueraud.org/research/2010/thesis/", school = "Universit{\'e} Paris-Diderot", }