New Version of B4Free

You can now download the new version of B4Free. Among its new principal features, this version includes a code generator to translate B implementations into C language. This new version is also based on the 3.7 version of Atelier B. Visit the B4Free Site…