Publication:3325017
From MaRDI portal
zbMath0538.68017MaRDI QIDQ3325017
Publication date: 1983
03B60: Other nonclassical logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
On the strength of temporal proofs, Non-standard algorithmic and dynamic logic, Recursive programs and denotational semantics in absolute logics of programs