Bert Didier

• B'98: Recent Advances in the Development and Use of the B Method
• B'98: Recent Advances in the Development and Use of the B Method