Publication:4178458
From MaRDI portal
zbMath0395.68012MaRDI QIDQ4178458
Publication date: 1978
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items