B4Free.com http://www.b4free.com/index_en.php B4Free tool enabling the operational use of Mehod B for proven software development. http://www.fersil.fr/images/clearsy_texte.gif B4Free.com http://www.b4free.com/index_en.php The new version of Atelier B is in beta test http://www.atelierb.eu Atelier B 4.0 More informations about Atelier B 4.0 on the Atelier B website...[...] Mon 22 Sep 2008 10:00:00 GMT Free Version of Atelier B http://www.atelierb.eu/mailing/Distribution_Atelier_B_tous_en.html Free Version of Atelier B Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The version currently being prepared and tested internally will be made available to a few volunteer users between July and September. Then the Beta test will start and cover two months, ending at the... Wed 02 Jul 2008 08:53:00 GMT The ComenC Translator with B4Free... http://www.b4free.com/php/actualites_en.php B4Free and ComenC The C ComenC translator is now provided with B4free. The ComenC translator is a new translator for B language and allows for B0 implementations to be translated into C language... Wed 18 June 2008 10:39:00 GMT