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.

Typechecking Z

Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King. Typechecking Z. In 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, pages 264-285, Springer, 2000. [doi]

Authors

Ian Toyn

This author has not been identified. Look up 'Ian Toyn' in Google

Samuel H. Valentine

This author has not been identified. Look up 'Samuel H. Valentine' in Google

Susan Stepney

This author has not been identified. Look up 'Susan Stepney' in Google

Steve King

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