Monday, December 15, 2008

Papers of the first B conferences

Conférences
Z to B (Nantes, France)
First International B Conference (Nantes, France)

Z2B


Summary
file:///U:/public_html/ConfZetBdeNantes/SommaireZ2B.html
Preface
file:///U:/public_html/ConfZetBdeNantes/PrefaceZ2B.html
Programme
file:///U:/public_html/ConfZetBdeNantes/ProgrammeZ2B.html
Hayes
file:///U:/public_html/ConfZetBdeNantes/Hayes.htm


First International B Conference
First page
1erepage.htm
Some papers :
J.R. Abrial, Extending B without changing it (for developing distributed systems)
file:///U:/public_html/ConfZetBdeNantes/Abrial.htm
P. Boehm, Formal Development of safety critical software of Meteor
file:///U:/public_html/ConfZetBdeNantes/Behm.htm
F. Docherty, Translation from Z to AMN
file:///U:/public_html/ConfZetBdeNantes/Docherty.htm
R. Fraer, Formal development in B of a minimum spanning tree
file:///U:/public_html/ConfZetBdeNantes/Fraer.htm

Thursday, December 11, 2008

The second conference The B method: from Research to Teaching

will be held in Nantes on
June 8, 2009
Cité Internationale des Congrès