scientific article
From MaRDI portal
Publication:3816965
zbMath0665.68013MaRDI QIDQ3816965
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (4)
Generated models and the ω-rule: The nondeterministic case ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ State-level and value-level simulations in data refinement
This page was built for publication:
