APA (7th ed.) Citation

Narboux, J., Neuper, W., & Quaresma, P. (2024). Proceedings 12th International Workshop on Theorem proving components for Educational software.

Chicago Style (17th ed.) Citation

Narboux, Julien, Walther Neuper, and Pedro Quaresma. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.

MLA (9th ed.) Citation

Narboux, Julien, et al. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.