Elements of B-method formalization

MaRDI QIDQ3091196zbMATH OpenFDO

Authors I. Yu. Tkachuk

Publication date 8 September 2011

zbMATH Keywords

B-methodgeneralized substitution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5875154
• scientific article; zbMATH DE number 2172802
• scientific article; zbMATH DE number 2080005
• Formalising Generalised Substitutions
• The B-Book

Cited in

(3)

• Formal specification with B
• Formalising Generalised Substitutions
• scientific article; zbMATH DE number 5875154 (Why is no real title available?)

This page was built for publication: Elements of B-method formalization

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