Rodin: an open toolset for modelling and reasoning in Event-B

Title
Rodin: an open toolset for modelling and reasoning in Event-B
Authors
Keywords
-
Publisher
Springer Nature
Online
2010-04-07
DOI
10.1007/s10009-010-0145-y

Ask authors/readers for more resources

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started