Publication:4520833
From MaRDI portal
zbMath0960.68114MaRDI QIDQ4520833
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_6_4/specifying_and_verifying_real
68Q65: Abstract data types; algebraic specification
Related Items