Mon premier blog

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering) book download

Jacques Julliand, Olga Kouchnarenko

Download B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

372, BesanA§on, France. shelly, gary b. Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 3455, pp. 140-154, Lecture. Springer-Verlag, 4355, pp. B 2007 . B Conference, B'98: Recent Advances in the Development and Use of the B Method. Proceedings of the First International Conference. Formal Specification and Development in B, 7th International Conference of B Users (B2007) LNCS 4355, Pages 4-18, January 2007. The 7th International B Conference (B'2007). Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B, p.22-41, January. . Lecture. 280-299, Lecture. All the publications