APA (7th ed.) Citation

Kwan, C. (2025). RV32I in ACL2.

Chicago Style (17th ed.) Citation

Kwan, Carl. RV32I in ACL2. 2025.

MLA (9th ed.) Citation

Kwan, Carl. RV32I in ACL2. 2025.

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