Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Functional languages / Data types / Type theory / Logic in computer science / Automated theorem proving / OCaml / Coq / Disjoint-set data structure / Proof assistant


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
Add to Reading List

Document Date: 2017-09-21 08:25:51


Open Document

File Size: 372,81 KB

Share Result on Facebook
UPDATE