2. B 1998: Montpellier, France

Invited Lectures

Theoretical Issues on B

B Extension Proposals

Methodological Issues

Design of Distributed Systems

Case Studies and Industrial Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics