Verter, J. L., & Petricek, T. (2024). Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.
Cita Chicago Style (17a ed.)Verter, Jan Liam, y Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
Cita MLA (9a ed.)Verter, Jan Liam, y Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
Precaución: Estas citas no son 100% exactas.