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.

Object-Z: An Object-Oriented Extension to Z

David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith. Object-Z: An Object-Oriented Extension to Z. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 281-296, North-Holland, 1989.

Authors

David A. Carrington

This author has not been identified. Look up 'David A. Carrington' in Google

David J. Duke

This author has not been identified. Look up 'David J. Duke' in Google

Roger Duke

This author has not been identified. Look up 'Roger Duke' in Google

Paul King

This author has not been identified. Look up 'Paul King' in Google

Gordon A. Rose

This author has not been identified. Look up 'Gordon A. Rose' in Google

Graeme Smith

This author has not been identified. It may be one of the following persons: Look up 'Graeme Smith' in Google
runs on