AboutSign inJoin
The B-Book

The B-Book Assigning Programs to Meanings

J. R. Abrial, Jean-Raymond Abrial — 2005
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Sign up to use