- Record: found
- Abstract: not found
- Article: not found
Rodin: an open toolset for modelling and reasoning in Event-B
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references12
- Record: found
- Abstract: not found
- Book: not found
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran (2004)
- Record: found
- Abstract: not found
- Book: not found
Abstract State Machines
Egon Börger, Robert Stark (2003)