Another B TOOLS / News: Recent posts

B to JML

Actually in development a code generator from B to JML by
Timothy Wahls, Nestor Catano, Juan Pablo García and Julián Cifuentes.

Posted by jean-Louis Boulanger 2010-08-16

Change location

ABTools project quit the BRILLANT iniative and become a standalone product.
ABTools quitte l'initiative BRILLANT et devient un produit a part entière.

Posted by jean-Louis Boulanger 2009-03-27