Otte, P., Arends, D., Flores, R. S., Wils, P., & Portegies, J. (2026). Waterproof Editor: An educational environment for proof assistants and programming languages.
Chicago-Zitierstil (17. Ausg.)Otte, Pim, Dick Arends, Raul Sánchez Flores, Pieter Wils, und Jim Portegies. Waterproof Editor: An Educational Environment for Proof Assistants and Programming Languages. 2026.
MLA-Zitierstil (9. Ausg.)Otte, Pim, et al. Waterproof Editor: An Educational Environment for Proof Assistants and Programming Languages. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.