Suha Orhun Mutluergil, Serdar Tasiran. A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System. In Parosh Aziz Abdulla, Carole Delporte-Gallet, editors, Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers. Volume 9944 of Lecture Notes in Computer Science, pages 280-294, Springer, 2016. [doi]
Abstract is missing.