Applying the B Technologies on CICS

Bibliographic Details
Main Authors: Hoare, J, Dick, J, Neilson, D, Sørensen, I
Format: Conference item
Published: Springer−Verlag 1996