Rodin tool (Q7356780)
Jump to navigation
Jump to search
Software tool for modelling in Event-B
- Rodin
- RODIN
- Rodin platform
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rodin tool |
Software tool for modelling in Event-B |
|
Statements
2007
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Rodin tool