scientific article; zbMATH DE number 795667

MaRDI QIDQ4845487zbMATH OpenFDO

Authors

Publication date 12 September 1995

zbMATH Keywords

specification language \(Z\)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(6)

• Some elements of Z specification style: Structuring techniques
• scientific article; zbMATH DE number 5008184 (Why is no real title available?)
• Applications and methodology of Z
• scientific article; zbMATH DE number 108375 (Why is no real title available?)
• scientific article; zbMATH DE number 795671 (Why is no real title available?)
• Understanding, Explaining, and Deriving Refinement

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845487)