Skip to main navigation Skip to search Skip to main content

An Axiomatic Value Model for Isabelle/UTP

  • Frank Zeyda
  • , Simon Foster
  • , Leo Freitas

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

    138 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