External Links

Cite Key

Statistics

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

PDF

Tags

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.

Non-atomic Refinement in Z and CSP

John Derrick, Heike Wehrheim. Non-atomic Refinement in Z and CSP. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 24-44, Springer, 2005. [doi]

Authors

John Derrick

This author has not been identified. Look up 'John Derrick' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on