pop up description layer
| Last modified: 20080825:162035/first version for 2008 | |
LM8: Semantics of Event-B
Semantics and Proof Obligations in Event-B
Semantics and Proof Obligations in Event-B
| presentation | slides as given in lectures, with multiple slides per points | 86 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
Describes the semantics of Event-B through an analysis of all the proof obligations and how they arise.
previous: LM7: Substitutions next: LM9: More Refinement - The Bridge Problem
Document History
| 20080825:162035 | 7.0.0 | ajh | first version for 2008 |
