Verter, J. L., & Petricek, T. (2024). Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory.
Citazione stile Chigago Style (17a edizione)Verter, Jan Liam, e Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
Citatione MLA (9a ed.)Verter, Jan Liam, e Tomas Petricek. Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.