Formal specification with B

zbMATH Open0987.68047MaRDI QIDQ2757791

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

• Formal Specification - A Comparison of Two Techniques 👍 👎
• Formal specification and verification 👍 👎
• Formal Specification and Design 👍 👎
• Argumentation in Multi-Agent Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)