Coward, S., Drane, T., & Constantinides, G. A. (2024). ROVER: RTL Optimization via Verified E-Graph Rewriting.
Chicago-Zitierstil (17. Ausg.)Coward, Samuel, Theo Drane, und George A. Constantinides. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.
MLA-Zitierstil (9. Ausg.)Coward, Samuel, et al. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.