Publication:4702595
From MaRDI portal
zbMath0945.68131MaRDI QIDQ4702595
Publication date: 24 November 1999
68Q65: Abstract data types; algebraic specification
zbMath0945.68131MaRDI QIDQ4702595
Publication date: 24 November 1999
68Q65: Abstract data types; algebraic specification