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
@Inbook{Charguéraud2015, author = "Arthur Chargu{\'e}raud and François Pottier", editor = "Urban, Christian and Zhang, Xingyuan", title = "Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation", bookTitle = "Interactive Theorem Proving (ITP): 6th International Conference", year = "2015", publisher = "Springer International Publishing", pages = "137--153", isbn = "978-3-319-22102-1", doi = "10.1007/978-3-319-22102-1_9", }