APA (7th ed.) Citation

Ioannidis, E., Zakowski, Y., Zdancewic, S., & Angel, S. (2024). Structural Temporal Logic for Mechanized Program Verification.

Chicago Style (17th ed.) Citation

Ioannidis, Eleftherios, Yannick Zakowski, Steve Zdancewic, and Sebastian Angel. Structural Temporal Logic for Mechanized Program Verification. 2024.

MLA (9th ed.) Citation

Ioannidis, Eleftherios, et al. Structural Temporal Logic for Mechanized Program Verification. 2024.