Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
Nantes Conference – June 16, 2008
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.
This seminar brought together approximately thirty people from France, Germany, Switzerland, England, Hungary and Japan. Different works on B, the B event and related tools were presented on this occasion.
Overview of the Conference...
