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
Citace podle Chicago (17th ed.)MARTÍN, ÓSCAR, ALBERTO VERDEJO, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..