Softpedia >Windows >  Applications filed under: event-B formal method  (1 item)

Apps filed under: event-B formal method

  RSS Feed for this tag 1 application totalLast updated: Aug 25th 2020, 07:38 GMT

     
  • 3,281 downloads
  • 90.2 MB
Rodin

Rodin 3.4.0 / 3.5 RC1

Turn to this powerful development platform that promises support for refinement and mathematical p...

Aug 25th 2020, 07:38 GMT
Windows All