An analysis of refinement in an abortive paradigm (Q851133)

From MaRDI portal
Revision as of 05:25, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An analysis of refinement in an abortive paradigm
scientific article

    Statements

    title
    An analysis of refinement in an abortive paradigm (English)
    0 references
    author
    Moshe Deutsch
    0 references
    Martin C. Henson
    0 references
    publication date
    17 November 2006
    0 references
    zbMATH Keywords
    Data-refinement
    0 references
    Operation-refinement
    0 references
    Specification language
    0 references
    Specification logic
    0 references
    cites work
    Refinement Calculus
    0 references
    Q2724177
    0 references
    Q4436965
    0 references
    Q2863832
    0 references
    Q4454298
    0 references
    Q4321773
    0 references
    Data Refinement
    0 references
    Investigating Z
    0 references
    Q4680194
    0 references
    Q3997074
    0 references
    Q4124327
    0 references
    Q4301167
    0 references

    Identifiers

    zbMATH DE Number
    5073786
    0 references
    OpenAlex ID
    W2081676304
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q851133&oldid=38502956"
    Powered by MediaWiki