Review of Abrial, J.-R. The B-Book

Bibliographic Details
Main Author: Butler, M. J. (Author)
Format: Article
Language:English
Published: 1997.
Subjects:
Online Access:Get fulltext
LEADER 00277 am a22001093u 4500
001 250549
042 |a dc 
100 1 0 |a Butler, M. J.  |e author 
245 0 0 |a Review of Abrial, J.-R. The B-Book 
260 |c 1997. 
856 |z Get fulltext  |u https://eprints.soton.ac.uk/250549/1/bbook.html 
655 7 |a Article