Formal Specification and Development in B (B)

B 2007: Besançon, France

ZB 2003: Turku, Finland

ZB 2002: Grenoble, France

ZB 2000: York, UK

2. B 1998: Montpellier, France

a service of Schloss Dagstuhl - Leibniz Center for Informatics