Hader, T., & Ozdemir, A. (2024). An SMT-LIB Theory of Finite Fields.
Chicago-Zitierstil (17. Ausg.)Hader, Thomas, und Alex Ozdemir. An SMT-LIB Theory of Finite Fields. 2024.
MLA-Zitierstil (9. Ausg.)Hader, Thomas, und Alex Ozdemir. An SMT-LIB Theory of Finite Fields. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.