Publication:4187284
From MaRDI portal
zbMath0402.68007MaRDI QIDQ4187284
Publication date: 1979
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Recursion equation sets computing logic programs, An extensional fixed-point semantics for nondeterministic data flow