scientific article; zbMATH DE number 3609104
From MaRDI portal
Publication:4174209
zbMath0392.68010MaRDI QIDQ4174209
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) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs
This page was built for publication:
