The date refinement calculator for Z specifications

Mark B. Josephs

doi:10.1016/0020-0190(88)90078-6

The date refinement calculator for Z specifications

Mark B. Josephs^*

^*Corresponding author for this work

IBM

Research output: Contribution to journal › Article › peer-review

16 Citations (Scopus)

Original language	English
Pages (from-to)	29-33
Number of pages	5
Journal	Information Processing Letters
Volume	27
Issue number	1
DOIs	https://doi.org/10.1016/0020-0190(88)90078-6
Publication status	Published (VoR) - 15 Feb 1988

Keywords

Data refinement
specification
weakest precondition

Access to Document

10.1016/0020-0190(88)90078-6

Cite this

@article{c5f900bb7457447cad687fd93d9a1053,

title = "The date refinement calculator for Z specifications",

keywords = "Data refinement, specification, weakest precondition",

author = "Josephs, \{Mark B.\}",

year = "1988",

month = feb,

day = "15",

doi = "10.1016/0020-0190(88)90078-6",

language = "English",

volume = "27",

pages = "29--33",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - The date refinement calculator for Z specifications

AU - Josephs, Mark B.

PY - 1988/2/15

Y1 - 1988/2/15

KW - Data refinement

KW - specification

KW - weakest precondition

UR - https://www.scopus.com/pages/publications/0023960574

UR - https://www.scopus.com/pages/publications/0023960574#tab=citedBy

U2 - 10.1016/0020-0190(88)90078-6

DO - 10.1016/0020-0190(88)90078-6

M3 - Article

AN - SCOPUS:0023960574

SN - 0020-0190

VL - 27

SP - 29

EP - 33

JO - Information Processing Letters

JF - Information Processing Letters

IS - 1

ER -

The date refinement calculator for Z specifications

Keywords

Access to Document

Other files and links

Cite this