B Tools
Author:
Boulanger Jean-Louis
Publisher
John Wiley & Sons, Inc.
Reference25 articles.
1. The B-Book
2. Introducing dynamic constraints in B'98;Abrial;Recent Advances in the Development and Use of the B Method Lecture Notes in Computer Science,1998
3. “Higher-Order” Mathematics in B