Applying the B Technologies on CICS
Jonathan Hoare‚ Jeremy Dick‚ Dave Neilson and Ib Sørensen
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