Back to Search
Start Over
Refactoring Refinement Structure of Event-B Machines.
- Source :
- FM 2016: Formal Methods; 2016, p444-459, 16p
- Publication Year :
- 2016
Details
- Language :
- English
- ISBNs :
- 9783319489889
- Database :
- Complementary Index
- Journal :
- FM 2016: Formal Methods
- Publication Type :
- Book
- Accession number :
- 120909586
- Full Text :
- https://doi.org/10.1007/978-3-319-48989-6_27