APA (7th ed.) Citation

Kan, S., & Ertel, S. (2026). Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification.

Chicago Style (17th ed.) Citation

Kan, Shuanglong, and Sebastian Ertel. Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification. 2026.

MLA (9th ed.) Citation

Kan, Shuanglong, and Sebastian Ertel. Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification. 2026.

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