Conferences
Nantes Conference - The B Method: from Research to Teaching
The “B Method: from
Research to Teaching” seminar took place in Nantes on June 16, 2008 on the
occasion of the scientific days event at the University of Nantes...
B2007 Conference
B2007 is an international
conference on B language, its evolution and related tools.
AFADL'06 Conference
Clearsy participated in AFADL’06
(March 15, 16 and 17, 2006). Demonstration
of a new support tool for system specifications: CompoSys. To discover Composys...
