Citáce podľa APA (7th ed.)

First, E., & Brun, Y. (2022, May). Diversity-Driven Automated Formal Verification. 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 01-13. https://doi.org/10.1145/3510003.3510138

Citácia podle Chicago (17th ed.)

First, Emily, a Yuriy Brun. "Diversity-Driven Automated Formal Verification." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) May. 2022: 01-13. https://doi.org/10.1145/3510003.3510138.

Citácia podľa MLA (8th ed.)

First, Emily, a Yuriy Brun. "Diversity-Driven Automated Formal Verification." 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), May. 2022, pp. 01-13, https://doi.org/10.1145/3510003.3510138.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..