Ioannidis, E., Zakowski, Y., Zdancewic, S., & Angel, S. (2025). Structural Temporal Logic for Mechanized Program Verification. Proceedings of ACM on programming languages, 9(OOPSLA2), 1148-1175. https://doi.org/10.1145/3763091
Citace podle Chicago (17th ed.)Ioannidis, Eleftherios, Yannick Zakowski, Steve Zdancewic, a Sebastian Angel. "Structural Temporal Logic for Mechanized Program Verification." Proceedings of ACM on Programming Languages 9, no. OOPSLA2 (2025): 1148-1175. https://doi.org/10.1145/3763091.
Citace podle MLA (9th ed.)Ioannidis, Eleftherios, et al. "Structural Temporal Logic for Mechanized Program Verification." Proceedings of ACM on Programming Languages, vol. 9, no. OOPSLA2, 2025, pp. 1148-1175, https://doi.org/10.1145/3763091.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..