APA (7th ed.) Citation

Teuber, S., Ulbrich, M., Platzer, A., & Beckert, B. (2025). Heterogeneous Dynamic Logic: Provability Modulo Program Theories.

Chicago Style (17th ed.) Citation

Teuber, Samuel, Mattias Ulbrich, André Platzer, and Bernhard Beckert. Heterogeneous Dynamic Logic: Provability Modulo Program Theories. 2025.

MLA (9th ed.) Citation

Teuber, Samuel, et al. Heterogeneous Dynamic Logic: Provability Modulo Program Theories. 2025.