scientific article; zbMATH DE number 795667

zbMATH Open0838.68077MaRDI QIDQ4845487FDOQ4845487

Authors:

Publication date: 12 September 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 108375
• scientific article; zbMATH DE number 715447
• scientific article; zbMATH DE number 49474
• scientific article; zbMATH DE number 50069
• scientific article; zbMATH DE number 795671

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)

• Understanding, Explaining, and Deriving Refinement
• Applications and methodology of \(\nu Z\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some elements of \(Z\) specification style: Structuring techniques

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)