Cita APA (7a ed.)
Agrawal, A., First, E., Kaufman, Z., Reichel, T., Zhang, S., Zhou, T., . . . Brun, Y. (2023). PRoofster: Automated Formal Verification. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings. https://doi.org/10.1109/ICSE-Companion58688.2023.00018
Cita Chicago Style (17a ed.)
Agrawal, Arpan, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, y Yuriy Brun. "PRoofster: Automated Formal Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings 2023. https://doi.org/10.1109/ICSE-Companion58688.2023.00018.
Cita MLA (9a ed.)
Agrawal, Arpan, et al. "PRoofster: Automated Formal Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2023, https://doi.org/10.1109/ICSE-Companion58688.2023.00018.
Precaución: Estas citas no son 100% exactas.