Cita APA (7a ed.)
Einarsdóttir, S. H. (2025). Theory Exploration Automated Conjecturing for Programs and Proofs. PQDT - Global.
Cita Chicago Style (17a ed.)
Einarsdóttir, Sólrún Halla. "Theory Exploration Automated Conjecturing for Programs and Proofs." PQDT - Global 2025.
Cita MLA (9a ed.)
Einarsdóttir, Sólrún Halla. "Theory Exploration Automated Conjecturing for Programs and Proofs." PQDT - Global, 2025.
Precaución: Estas citas no son 100% exactas.