APA (7th ed.) Citation

Lathouwers, S., & Huisman, M. (2024). Survey of annotation generators for deductive verifiers. Journal of Systems & Software, 211, N.PAG. https://doi.org/10.1016/j.jss.2024.111972

Chicago Style (17th ed.) Citation

Lathouwers, Sophie, and Marieke Huisman. "Survey of Annotation Generators for Deductive Verifiers." Journal of Systems & Software 211 (2024): N.PAG. https://doi.org/10.1016/j.jss.2024.111972.

MLA (9th ed.) Citation

Lathouwers, Sophie, and Marieke Huisman. "Survey of Annotation Generators for Deductive Verifiers." Journal of Systems & Software, vol. 211, 2024, p. N.PAG, https://doi.org/10.1016/j.jss.2024.111972.