Publication:4517368
From MaRDI portal
zbMath0951.68084MaRDI QIDQ4517368
Publication date: 21 November 2000
68Q65: Abstract data types; algebraic specification
zbMath0951.68084MaRDI QIDQ4517368
Publication date: 21 November 2000
68Q65: Abstract data types; algebraic specification