From OBJ to Maude and Beyond

DOI10.1007/11780274_14zbMath1132.68337OpenAlexW1760118857MaRDI QIDQ5757927

José Meseguer

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_14

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

José Meseguer: Scientist and Friend Extraordinaire ⋮ Two Decades of Maude

Uses Software

• Maude

This page was built for publication: From OBJ to Maude and Beyond