APA-Zitierstil (7. Ausg.)

MARTÍN, Ó., VERDEJO, A., & MARTÍ-OLIET, N. (2024). Compositional Verification in Rewriting Logic. Theory and practice of logic programming, 24(1), 57-109. https://doi.org/10.1017/S1471068423000340

Chicago-Zitierstil (17. Ausg.)

MARTÍN, ÓSCAR, ALBERTO VERDEJO, und NARCISO MARTÍ-OLIET. "Compositional Verification in Rewriting Logic." Theory and Practice of Logic Programming 24, no. 1 (2024): 57-109. https://doi.org/10.1017/S1471068423000340.

MLA-Zitierstil (9. Ausg.)

MARTÍN, ÓSCAR, et al. "Compositional Verification in Rewriting Logic." Theory and Practice of Logic Programming, vol. 24, no. 1, 2024, pp. 57-109, https://doi.org/10.1017/S1471068423000340.