scientific article; zbMATH DE number 2172802
From MaRDI portal
Publication:4680189
Recommendations
Cited in
(22)- Integrating formal specifications into applications: the ProB Java API
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Bourbaki and foundations
- scientific article; zbMATH DE number 1615249 (Why is no real title available?)
- B: Towards zero defect software
- Foundations of the MHM Method
- Elements of B-method formalization
- Soundly proving B method formulæ using typed sequent calculus
- Why Would You Trust B?
- scientific article; zbMATH DE number 3920431 (Why is no real title available?)
- scientific article; zbMATH DE number 1258883 (Why is no real title available?)
- scientific article; zbMATH DE number 2013582 (Why is no real title available?)
- scientific article; zbMATH DE number 2013583 (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 1487481 (Why is no real title available?)
- ZB 2005: Formal Specification and Development in Z and B
- scientific article; zbMATH DE number 7592786 (Why is no real title available?)
- An Automation-Friendly Set Theory for the B Method
- Verification of global and local as view data integration in an object data model
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 Q4680189)
