APA (7th ed.) Citation

Jiménez González, A., Computadors, U. P. d. C. D. d. d., Moreno Vega, A., & Espasa Sans, R. (2024). Applying formal verification techniques to verify a Fetch Unit.

Chicago Style (17th ed.) Citation

Jiménez González, Adrián, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Alberto Moreno Vega, and Roger Espasa Sans. Applying Formal Verification Techniques to Verify a Fetch Unit. 2024.

MLA (9th ed.) Citation

Jiménez González, Adrián, et al. Applying Formal Verification Techniques to Verify a Fetch Unit. 2024.