scientific article; zbMATH DE number 795667

MaRDI QIDQ4845487zbMATH OpenFDO

Authors

Publication date 12 September 1995

zbMATH Keywords

specification language \(Z\)

Mathematics Subject Classification ID

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

Cited in

(6)

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

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)