Publication:4499235
From MaRDI portal
zbMath0966.68130MaRDI QIDQ4499235
Francisco Durán, José Meseguer
Publication date: 4 March 2001
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software
zbMath0966.68130MaRDI QIDQ4499235
Francisco Durán, José Meseguer
Publication date: 4 March 2001
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software