APA (7th ed.) Citation

Coward, S., Drane, T., & Constantinides, G. A. (2024). ROVER: RTL Optimization via Verified E-Graph Rewriting.

Chicago Style (17th ed.) Citation

Coward, Samuel, Theo Drane, and George A. Constantinides. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.

MLA (9th ed.) Citation

Coward, Samuel, et al. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.