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 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, editors, ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Volume 1878 of Lecture Notes in Computer Science, Springer, 2000.

Conference: zum2000

Editors

Jonathan P. Bowen

Identified as Jonathan P. Bowen

Steve Dunne

This author has not been identified. Look up 'Steve Dunne' in Google

Andy Galloway

This author has not been identified. Look up 'Andy Galloway' in Google

Steve King

This author has not been identified. Look up 'Steve King' in Google
runs on