| Line 4: | Line 4: | ||
== Miscellaneous == | == Miscellaneous == | ||
* [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php ProB Publications] | * [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php 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 | ||