An Axiomatic Value Model for Isabelle/UTP

Frank Zeyda, Simon Foster, Leo Freitas

    Research output: Contribution to conferencePaperpeer-review

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

    Conference

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

    Cite this