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
@misc{chargueraud-pottier-17-uf, author = {Arthur Charguéraud and François Pottier}, title = {Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits}, month = sept, year = {2017}, pdf = {http://gallium.inria.fr/~fpottier/publis/chargueraud-pottier-uf-sltc.pdf}, soft = {http://gallium.inria.fr/~fpottier/dev/uf}, }