scientific article; zbMATH DE number 3624760
From MaRDI portal
Publication:4187284
zbMath0402.68007MaRDI QIDQ4187284
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (2)
Recursion equation sets computing logic programs ⋮ An extensional fixed-point semantics for nondeterministic data flow
This page was built for publication:
