An Axiomatic Value Model for Isabelle/UTP

Frank Zeyda, Simon Foster, Leo Freitas

    Research output: Contribution to conferencePaper

    78 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
    CountryIceland
    CityReykjavík
    Period4/06/165/06/16

    Cite this

    Zeyda, F., Foster, S., & Freitas, L. (2016). An Axiomatic Value Model for Isabelle/UTP. Paper presented at 6th International Symposium on Unifying Theories of Programming, Reykjavík, Iceland.