Hugging Peers

Object-Z: An Object-Oriented Extension to Z

☆ Save
David A. Carrington,David J. Duke,Roger Duke,Paul King,Gordon A. Rose,Graeme Smith
FORTE
published

Abstract

No abstract available.

Cite this paper

@article{carrington1989,
  title = {Object-Z: An Object-Oriented Extension to Z},
  author = {David A. Carrington and David J. Duke and Roger Duke and Paul King and Gordon A. Rose and Graeme Smith},
  journal = {FORTE},
  year = {1989},
  month = {Jan},
}