External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Applying the B Technologies on CICS

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen. Applying the B Technologies on CICS. In Marie-Claude Gaudel, Jim Woodcock, editors, FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Volume 1051 of Lecture Notes in Computer Science, pages 74-84, Springer, 1996.

Authors

Jonathan Hoare

This author has not been identified. Look up 'Jonathan Hoare' in Google

Jeremy Dick

This author has not been identified. Look up 'Jeremy Dick' in Google

David Neilson

This author has not been identified. Look up 'David Neilson' in Google

Ib Holm Sørensen

This author has not been identified. Look up 'Ib Holm Sørensen' in Google
runs on