Skip to main navigation Skip to search Skip to main content

Formalising general correctness

  • Jeremy E. Dawson*
    • *Corresponding author for this work

    Research output: Contribution to journal › Conference article › peer-review

    3 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Formalising general correctness'. Together they form a unique fingerprint.
    Sort by

    Computer Science