Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.