Associated Paper: The Object-Z Specification Language

☆ Save

Roger Duke,Paul King,Gordon A. Rose,Graeme Smith

TOOLS (5)

published 1st of January, 1991

Abstract

No abstract available.

Read the paper

DBLP: conf/tools/DukeKRS91
HTML ↗

Details

HuggingPeers ID: ID hpp-VYdTgH4O6B6
Publication: TOOLS (5)
Published: 1st of January, 1991

Provenance 1

Source	ID	Citations
DBLP	conf/tools/DukeKRS91	—

Cite this paper

@article{duke1991,
  title = {Associated Paper: The Object-Z Specification Language},
  author = {Roger Duke and Paul King and Gordon A. Rose and Graeme Smith},
  journal = {TOOLS (5)},
  year = {1991},
  month = {Jan},
}

Roger Duke et al. (1991). Associated Paper: The Object-Z Specification Language. TOOLS (5).

Roger Duke, et al.. "Associated Paper: The Object-Z Specification Language." TOOLS (5), 1991.

Roger Duke, et al.. "Associated Paper: The Object-Z Specification Language." TOOLS (5) (1991).

Roger Duke et al., 1991. Associated Paper: The Object-Z Specification Language. TOOLS (5).

TY  - JOUR
TI  - Associated Paper: The Object-Z Specification Language
AU  - Roger Duke
AU  - Paul King
AU  - Gordon A. Rose
AU  - Graeme Smith
PY  - 1991
JO  - TOOLS (5)
ER  -