APA (7th ed.) Citation

Kaufmann, M., & Moore, J. S. (2025). Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2.

Chicago Style (17th ed.) Citation

Kaufmann, Matt, and J Strother Moore. Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2. 2025.

MLA (9th ed.) Citation

Kaufmann, Matt, and J Strother Moore. Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2. 2025.

Warning: These citations may not always be 100% accurate.