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-Zitierstil (17. Ausg.)Lathouwers, Sophie, und 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-Zitierstil (9. Ausg.)Lathouwers, Sophie, und 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.