Previous: Frequently Asked Questions Up: Frequently Asked Questions Next: Where can I report bugs? BMotionWeb for ProB Handbook

5.1 Where can I download the tool?

You can find the latest version of the tool at http://www.stups.hhu.de/ProB/index.php5/BMotionWeb_Download.

Previous: Frequently Asked Questions Up: Frequently Asked Questions Next: Where can I report bugs?  
BMotionWeb for ProB Handbook : Frequently Asked Questions : Where can I download the tool?