Martí Oliet, N., Verdejo López, J. A., & Martín Sánchez, Ó. (2023). Compositional Verification in Rewriting Logic. Cambridge University Press.
Chicago Style CitationMartí Oliet, Narciso, José Alberto Verdejo López, and Óscar Martín Sánchez. Compositional Verification in Rewriting Logic. Cambridge University Press, 2023.
MLA CitationMartí Oliet, Narciso, José Alberto Verdejo López, and Óscar Martín Sánchez. Compositional Verification in Rewriting Logic. Cambridge University Press, 2023.
Warning: These citations may not always be 100% accurate.