Exceptions for algebraic specifications: On the meaning of ``but
From MaRDI portal
Publication:685615
DOI10.1016/0167-6423(93)90023-IzbMath0783.68085MaRDI QIDQ685615
Publication date: 24 October 1993
Published in: Science of Computer Programming (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
Related Items