15:4615:46, 16 November 2009diffhist+2,796 N
Installation
Created page with '== Which version shall I use? == The standalone version of ProB contains a richer set of features than the Rodin version and also works on other formalisms than Event-B (e.g., c…'