Publication:4160382
From MaRDI portal
zbMath0382.68024MaRDI QIDQ4160382
Publication date: 1978
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Formal correctness proofs of a nondeterministic program, Arithmetical axiomatization of first-order temporal logic, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II