Applying the B Technologies on CICS.

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Srensen

Browse the full FM paper archive.