B2Visidia Application
A tool that generates Java code from an Event-B specification of a distributed algorithm
Version:
0.9.4
Author
Mohamed TOUNSI
Homepage
http://www.labri.fr/~tounsi