(→ProB) |
|||
| Line 4: | Line 4: | ||
* [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] | ||
== Miscellaneous == | == Miscellaneous == | ||
* [http://www.stups.uni-duesseldorf.de/ProB | * [http://www.stups.uni-duesseldorf.de/w/Publications:ProB ProB Publications] | ||
* [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | * [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | ||
* [http://www.bmethod.com/ B-Method Site] from ClearSy | * [http://www.bmethod.com/ B-Method Site] from ClearSy | ||