Einarsdóttir, S. (2025). Theory Exploration: Automated Conjecturing for Programs and Proofs. https://doi.org/10.63959/chalmers.dt/5776
Chicago-Zitierstil (17. Ausg.)Einarsdóttir, Sólrún. Theory Exploration: Automated Conjecturing for Programs and Proofs. 2025. https://doi.org/10.63959/chalmers.dt/5776.
MLA-Zitierstil (9. Ausg.)Einarsdóttir, Sólrún. Theory Exploration: Automated Conjecturing for Programs and Proofs. 2025. https://doi.org/10.63959/chalmers.dt/5776.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.