An Axiomatic Value Model for Isabelle/UTP

Frank Zeyda, Simon Foster, Leo Freitas

    Research output: Contribution to conferencePaperResearchpeer-review

    20 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.
    Zeyda, Frank ; Foster, Simon ; Freitas, Leo. / An Axiomatic Value Model for Isabelle/UTP. Paper presented at 6th International Symposium on Unifying Theories of Programming, Reykjavík, Iceland.
    @conference{4a560b012dbb49269e3791e1084cbf34,
    title = "An Axiomatic Value Model for Isabelle/UTP",
    author = "Frank Zeyda and Simon Foster and Leo Freitas",
    year = "2016",
    language = "English",
    note = "6th International Symposium on Unifying Theories of Programming, UTP 2016 ; Conference date: 04-06-2016 Through 05-06-2016",

    }

    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, 4/06/16 - 5/06/16, .

    An Axiomatic Value Model for Isabelle/UTP. / Zeyda, Frank; Foster, Simon; Freitas, Leo.

    2016. Paper presented at 6th International Symposium on Unifying Theories of Programming, Reykjavík, Iceland.

    Research output: Contribution to conferencePaperResearchpeer-review

    TY - CONF

    T1 - An Axiomatic Value Model for Isabelle/UTP

    AU - Zeyda, Frank

    AU - Foster, Simon

    AU - Freitas, Leo

    PY - 2016

    Y1 - 2016

    M3 - Paper

    ER -

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