ProB 2.0 within Rodin and a HTML Visualization Example
Revision as of 08:39, 11 November 2013 by Michael Leuschel(talk | contribs)(Created page with ' == Installing ProB 2.0 from Rodin 2.7 or later == * Enter the update site <tt> http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/</tt> and install the ProB 2.0…')