scientific article; zbMATH DE number 3594629
From MaRDI portal
Publication:4160382
zbMath0382.68024MaRDI QIDQ4160382
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Arithmetical axiomatization of first-order temporal logic ⋮ Formal correctness proofs of a nondeterministic program ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
This page was built for publication:
