(→ProB) |
No edit summary |
||
| Line 7: | Line 7: | ||
* [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 | ||
* [http://www.fm4industry.org/index.php/Can_FM_tools_manage_large_industrial_problems%3F Can FM tools manage large scale industrial problems ?] | |||
== ProB == | == ProB == | ||