scientific article
From MaRDI portal
Publication:4003175
zbMath0812.68039MaRDI QIDQ4003175
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (max. 100)
Possible values: exploring a concept for concurrency ⋮ Specification by interface separation ⋮ Designing a semantic model for a wide-spectrum language with concurrency ⋮ Encoding Z-style Schemas in type theory ⋮ Compositional noninterference from first principles ⋮ A reification calculus for model-oriented software specification ⋮ How to Brew-up a Refinement Ordering ⋮ VDM and Z: A comparative case study ⋮ Multi-relations in Z. A cross between multi-sets and binary relations ⋮ The connection between two ways of reasoning about partial functions
This page was built for publication: