No edit summary |
|||
| Line 3: | Line 3: | ||
* [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) | * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) | ||
* [http://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | * [http://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | ||
* [http://www.event-b.org/abook.html Modeling in Event-B: System and Software Engineering, by Jean-Raymond Abrial] (the Bee book) | |||
== Papers == | == Papers == | ||
* [http://www.stups.uni-duesseldorf.de/w/Publications:ProB ProB Publications] | * [http://www.stups.uni-duesseldorf.de/w/Publications:ProB ProB Publications] | ||