[Savannah-hackers] savannah.gnu.org: submission of Bcaml

[georges . mariano]

A package was submitted to savannah.gnu.org.
This mail was sent to address@hidden, address@hidden


Georges Mariano <address@hidden> described the package as follows:
License: lgpl
Other License: 
Package: Bcaml
System name: bcaml
This package does NOT want to apply for inclusion in the GNU project

The main goal of the project is to build freely available tools for the 
processing of software  specifications written using the B method.  B is a 
formal method usually used to develop safety critical software.

A page describing the project more precisely is available at :
http://www3.inrets.fr/address@hidden