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
Citace podle Chicago (17th ed.)Lathouwers, Sophie, a 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.
Citace podle MLA (9th ed.)Lathouwers, Sophie, a 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.