(→Papers) |
|||
Line 5: | Line 5: | ||
== Papers == | == Papers == | ||
* [ | * [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen-prof-dr-michael-leuschel/publikationen.html 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 |