Another B TOOLS / News: Recent posts

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

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