Verter, J. L., & Petricek, T. (2024). Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.
Chicago Style (17th ed.) CitationVerter, Jan Liam, and Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
MLA (9th ed.) CitationVerter, Jan Liam, and Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
Warning: These citations may not always be 100% accurate.