B−Tool
Matthew K. O. Lee 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 I
ISBN
3−540−54834−3
Pages
695–696
Publisher
Springer−Verlag
Year
1991