Kaufmann, M., & Moore, J. S. (2025). Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2.
Chicago-Zitierstil (17. Ausg.)Kaufmann, Matt, und J Strother Moore. Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2. 2025.
MLA-Zitierstil (9. Ausg.)Kaufmann, Matt, und J Strother Moore. Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.