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.

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

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, Springer, 2002.

Conference: zum2002

Editors

Didier Bert

This author has not been identified. Look up 'Didier Bert' in Google

Jonathan P. Bowen

Identified as Jonathan P. Bowen

Martin C. Henson

Identified as Martin C. Henson
(University of Essex
)

Ken Robinson

This author has not been identified. Look up 'Ken Robinson' in Google
runs on