The B−Method
Jean−Raymond Abrial‚ Matthew K. O. Lee‚ Dave Neilson‚ P. N. Scharbach and Ib Sørensen
Address
London‚ UK‚ UK
Book Title
VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development−Volume 2
ISBN
3−540−54868−8
Pages
398–405
Publisher
Springer−Verlag
Year
1991