Formal specification with B

MaRDI QIDQ2757791zbMATH OpenFDO

Authors Henri Habrias

Publication date 4 December 2001

zbMATH Keywords

B method

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1262881
• Elements of B-method formalization
• Formal specification and verification
• scientific article; zbMATH DE number 1350767
• Formal Specification and Design
• scientific article; zbMATH DE number 5875154
• Formal Specification - A Comparison of Two Techniques
• Argumentation in Multi-Agent Systems

Cited in

(14)

• B: Towards zero defect software
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 1949627 (Why is no real title available?)
• scientific article; zbMATH DE number 2013582 (Why is no real title available?)
• scientific article; zbMATH DE number 2013599 (Why is no real title available?)
• scientific article; zbMATH DE number 2013600 (Why is no real title available?)
• scientific article; zbMATH DE number 2013601 (Why is no real title available?)
• scientific article; zbMATH DE number 2080009 (Why is no real title available?)
• scientific article; zbMATH DE number 2080010 (Why is no real title available?)
• scientific article; zbMATH DE number 1487744 (Why is no real title available?)
• scientific article; zbMATH DE number 2172802 (Why is no real title available?)
• scientific article; zbMATH DE number 2090133 (Why is no real title available?)
• scientific article; zbMATH DE number 5875154 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Formal specification with B

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