ISO-690 (author-date, English)

MARTÍN, ÓSCAR, VERDEJO, ALBERTO und MARTÍ-OLIET, NARCISO, 2024. Compositional Verification in Rewriting Logic. Theory & Practice of Logic Programming. 1 Januar 2024. Vol. 24, no. 1, p. 57-109. DOI 10.1017/S1471068423000340.

Elsevier - Harvard (with titles)

MARTÍN, ÓSCAR, VERDEJO, A., MARTÍ-OLIET, N., 2024. Compositional Verification in Rewriting Logic. Theory & Practice of Logic Programming 24, 57-109. https://doi.org/10.1017/S1471068423000340

American Psychological Association 7th edition

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

Springer - Basic (author-date)

MARTÍN ÓSCAR, VERDEJO A, MARTÍ-OLIET N (2024) Compositional Verification in Rewriting Logic.. Theory & Practice of Logic Programming 24:57-109. https://doi.org/10.1017/S1471068423000340

Juristische Zitierweise (Stüber) (Deutsch)

MARTÍN, ÓSCAR/ VERDEJO, ALBERTO/ MARTÍ-OLIET, NARCISO, Compositional Verification in Rewriting Logic., Theory & Practice of Logic Programming 2024, 57-109.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.