An Axiomatic Value Model for Isabelle/UTP

Frank Zeyda, Simon Foster, Leo Freitas

    Research output: Contribution to conference › Paper › peer-review

    123 Downloads (Pure)
    Original languageEnglish
    Publication statusPublished - 2016
    Event6th International Symposium on Unifying Theories of Programming - Reykjavík, Iceland
    Duration: 4 Jun 2016 → 5 Jun 2016

    Conference

    Conference6th International Symposium on Unifying Theories of Programming
    Abbreviated titleUTP 2016
    Country/TerritoryIceland
    CityReykjavík
    Period4/06/16 → 5/06/16

    Access to Document

      Cite this