APA (7th ed.) Citation

Lathouwers, S., & Huisman, M. (2022, May). Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 69-79. https://doi.org/10.1145/3524482.3527652

Chicago Style (17th ed.) Citation

Lathouwers, Sophie, and Marieke Huisman. "Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers." 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) May. 2022: 69-79. https://doi.org/10.1145/3524482.3527652.

MLA (9th ed.) Citation

Lathouwers, Sophie, and Marieke Huisman. "Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers." 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), May. 2022, pp. 69-79, https://doi.org/10.1145/3524482.3527652.