TY  - BOOK
AU  - Abrial Jean-raymond 
TI  - The B-book : : assigning programs to meanings
SN  - 9780521021753
U1  - 005.1 
PY  - 1996///
CY  - Cambridge
PB  -  Cambridge University Press, , 
KW  -  B Method (Computer Science)
N1  - index
N2  - The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems
ER  -