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