The B−Method
Jean−Raymond Abrial‚ Matthew K. O. Lee‚ Dave Neilson‚ P. N. Scharbach and Ib Sørensen
Details
| 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 |
Links
Related pages
|
People |