Citação norma APA

Martí Oliet, N., Verdejo López, J. A., & Martín Sánchez, Ó. (2023). Compositional Verification in Rewriting Logic.

Citação norma Chicago

Martí Oliet, Narciso, José Alberto Verdejo López, y Óscar Martín Sánchez. Compositional Verification in Rewriting Logic. 2023.

Citação norma MLA

Martí Oliet, Narciso, José Alberto Verdejo López, y Óscar Martín Sánchez. Compositional Verification in Rewriting Logic. 2023.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.