COMP2111: System Modelling & Design
May 8, 2012
Abrial’s Lecture Slides
The following lecture slides have been graciously given by Jean-Raymond Abrial, the chief architect of Classical and Event B. His generosity in permitting us to use these slides is acknowledged.