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.

Formal Methods for the Design and Specification of Object-Oriented Systems

Roger Duke. Formal Methods for the Design and Specification of Object-Oriented Systems. In Christine Mingins, William Haebich, John Potter, Bertrand Meyer, editors, Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992. pages 324, Prentice Hall, 1993.

Authors

Roger Duke

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