![](/img/cover-not-exists.png)
A mechanized refinement proof of the Chase–Lev deque using a proof system
Mutluergil, Suha Orhun, Tasiran, SerdarLanguage:
english
Journal:
Computing
DOI:
10.1007/s00607-018-0635-4
Date:
July, 2018
File:
PDF, 617 KB
english, 2018