Cita APA (7a ed.)
First, E., & Brun, Y. (2022). Diversity-Driven Automated Formal Verification. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings. https://doi.org/10.1145/3510003.3510138
Cita Chicago Style (17a ed.)
First, Emily, y Yuriy Brun. "Diversity-Driven Automated Formal Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings 2022. https://doi.org/10.1145/3510003.3510138.
Cita MLA (9a ed.)
First, Emily, y Yuriy Brun. "Diversity-Driven Automated Formal Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2022, https://doi.org/10.1145/3510003.3510138.
Precaución: Estas citas no son 100% exactas.