Founded in 1993, B-Core (UK) are the owners and developers of the B-Toolkit, its specification, its design and its notations. The toolkit provides complete support for the B-Method of software construction. The licence for the B-Toolkit which accompanies the book can be obtained from the ‘evaluation licences’ selection on the B-Core website at www.b-core.com. Make sure that you have your copy of the book to hand when completing the on-line request for the licence.
You may like to follow these links for further information and reading on the B-Method:
- Steve Schneider’s site: https://www.surrey.ac.uk/people/steve-schneider
- B-Core: www.b-core.com
- Steria – Atelier B: www.atelierb.societe.com/index_uk.html
- Oxford B archive: http://archive.comlab.ox.ac.uk/formal-methods/b.html
- Grenoble B Site: http://www-lsr.imag.fr/B/