- Laurent Théry:
Proof Pearl : Playing with the Tower of Hanoi Formally. ITP 2021: 31:1-31:16 - Front Matter, Table of Contents, Preface, Conference Organization. ITP 2021: 0:1-0:8
- Hengchu Zhang, Wolf Honoré
, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic:
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP 2021: 32:1-32:19 - Liron Cohen, Cezary Kaliszyk:
12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). LIPIcs 193, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-188-7 [contents]
