Posts Tagged "B"
- A case for data-oriented specifications: simpler implementation of B tools and DSLs
- Meta-Programming Event-B - Advancing Tool Support and Language Extensions
- An Embedding of B in Clojure
- The First Twenty-Five Years of Industrial Use of the B-Method
- Towards a Shared Specification Repository
- A Multi-Target Code Generator for High-Level B
- The History and Evolution of B and Event-B
