-
Notifications
You must be signed in to change notification settings - Fork 1
vgheo/eventb_intro
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This is the git repository of an event-b introduction course based on the "Cars on the Birdge" example of the Event-B book, chapter 2. See ./lecture for instructions.
About
Materials for an Event-B introductory presentation based on the Event-B Book "Cars on a bridge" example (ch. 2)
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published