A mechanized refinement proof of the ChaseāLev deque using a proof system
Crossref DOI link: https://doi.org/10.1007/s00607-018-0635-4
Published Online: 2018-07-02
Published Print: 2019-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mutluergil, Suha Orhun http://orcid.org/0000-0002-0734-7969
Tasiran, Serdar
Text and Data Mining valid from 2018-07-02
Article History
Received: 26 September 2017
Accepted: 15 June 2018
First Online: 2 July 2018