The date refinement calculator for Z specifications

Mark B. Josephs*

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    16 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)29-33
    Number of pages5
    JournalInformation Processing Letters
    Volume27
    Issue number1
    DOIs
    Publication statusPublished (VoR) - 15 Feb 1988

    Keywords

    • Data refinement
    • specification
    • weakest precondition

    Cite this