Construction of Abstract State Graphs for Understanding Event-B Models (Q5045389)
From MaRDI portal
scientific article; zbMATH DE number 7612573
Language | Label | Description | Also known as |
---|---|---|---|
English | Construction of Abstract State Graphs for Understanding Event-B Models |
scientific article; zbMATH DE number 7612573 |
Statements
Construction of Abstract State Graphs for Understanding Event-B Models (English)
0 references
4 November 2022
0 references