Cita APA (7th ed.)
Ioannidis, E., Zakowski, Y., Zdancewic, S., & Angel, S. (Nov 18, 2024). Structural temporal logic for mechanized program verification. arXiv.org.
Cita Chicago (17th ed.)
Ioannidis, Eleftherios, Yannick Zakowski, Steve Zdancewic, i Sebastian Angel. "Structural Temporal Logic for Mechanized Program Verification." ArXiv.org Nov 18, 2024.
Cita MLA (9th ed.)
Ioannidis, Eleftherios, et al. "Structural Temporal Logic for Mechanized Program Verification." ArXiv.org, Nov 18, 2024.
Atenció: Aquestes cites poden no estar 100% correctes.