Interpreting the B-method in the refinement calculus

DOI10.1007/3-540-48119-2_24MaRDI QIDQ4493886zbMATH OpenFDO

Authors Yann Rouzaud

Publication date 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48119-2_24

zbMATH Keywords

B-method

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2172802
• scientific article; zbMATH DE number 2013583
• ZB 2005: Formal Specification and Development in Z and B
• The B-Book
• Program development by refinement. Case studies using the B method

Cited in

(4)

• Refinement by Interpretation in a General Setting
• scientific article; zbMATH DE number 2013583 (Why is no real title available?)
• scientific article; zbMATH DE number 2172802 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication: Interpreting the B-method in the refinement calculus

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