Applying the B Technologies on CICS
Jonathan Hoare‚ Jeremy Dick‚ Dave Neilson and Ib Sørensen
Details
| Address |
London‚ UK‚ UK |
| Book Title |
FME '96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods |
| ISBN |
3−540−60973−3 |
| Pages |
74–84 |
| Publisher |
Springer−Verlag |
| Year |
1996 |
Links
Related pages
|
People |