Tool Interoperability in the Maude Formal Environment

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22944-2_30 ◽

2011 ◽

pp. 400-406 ◽

Cited By ~ 1

Author(s):

Francisco Durán ◽

Camilo Rocha ◽

José M. Álvarez