pop up description layer
| Last modified: 20090603:154233/first version for 2009 | |
LM9: More Refinement - The Bridge Problem
The Bridge Problem: Working through Refinements
The Bridge Problem: Working through Refinements
| presentation | there are no slides currently available | |
| notes | the slides reduced to note form, even more suitable for printing | 19 pages |
A complete example of working from a simple abstraction through a series of refinements to a full specification
previous: LM8: Semantics of Event-B next: LM10: Refinement
Document History
| 20090603:154233 | 8.0.0 | ajh | first version for 2009 |
