Citace podle 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

Citace 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.

Citace podle MLA (9th 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..