scientific article
From MaRDI portal
Publication:3325017
zbMath0538.68017MaRDI QIDQ3325017
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ On the strength of temporal proofs
This page was built for publication:
