Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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