ISO-690 (author-date, English)

FIRST, Emily and BRUN, Yuriy, 2022. Diversity-driven automated formal verification. In: . 1 May 2022.

Elsevier - Harvard (with titles)

First, E., Brun, Y., 2022. Diversity-driven automated formal verification., in: . https://doi.org/10.1145/3510003.3510138

American Psychological Association 7th edition

First, E., & Brun, Y. (2022, May 1). Diversity-driven automated formal verification. https://doi.org/10.1145/3510003.3510138

Springer - Basic (author-date)

First E, Brun Y (2022) Diversity-driven automated formal verification.

Juristische Zitierweise (Stüber) (Deutsch)

First, Emily/ Brun, Yuriy, Diversity-driven automated formal verification., 2022, .

Warning: These citations may not always be 100% accurate.