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.

Higher-Order Mathematics in B

Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. Higher-Order Mathematics in B. In Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson, editors, ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings. Volume 2272 of Lecture Notes in Computer Science, pages 370-393, Springer, 2002. [doi]

Authors

Jean-Raymond Abrial

This author has not been identified. Look up 'Jean-Raymond Abrial' in Google

Dominique Cansell

This author has not been identified. Look up 'Dominique Cansell' in Google

Guy Laffitte

This author has not been identified. Look up 'Guy Laffitte' in Google
runs on