Isabelle/UTP: A Mechanised Theory Engineering Framework

Simon Foster, Frank Zeyda, Jim Woodcock

    Research output: Contribution to journalConference articleResearchpeer-review

    Original languageEnglish
    Pages (from-to)21
    Number of pages41
    JournalLecture Notes in Computer Science
    Volume8963
    DOIs
    Publication statusPublished - 2014
    Event5th International Symposium on Unifying Theories of Programming - , Singapore
    Duration: 13 May 201413 May 2014

    Cite this

    Foster, Simon ; Zeyda, Frank ; Woodcock, Jim. / Isabelle/UTP: A Mechanised Theory Engineering Framework. In: Lecture Notes in Computer Science. 2014 ; Vol. 8963. pp. 21.
    @article{63a53edceec945d4b1bbe30bda57b0a8,
    title = "Isabelle/UTP: A Mechanised Theory Engineering Framework",
    author = "Simon Foster and Frank Zeyda and Jim Woodcock",
    year = "2014",
    doi = "10.1007/978-3-319-14806-9_2",
    language = "English",
    volume = "8963",
    pages = "21",
    journal = "Lecture Notes in Computer Science",
    issn = "0302-9743",
    publisher = "Springer Verlag",

    }

    Isabelle/UTP: A Mechanised Theory Engineering Framework. / Foster, Simon; Zeyda, Frank; Woodcock, Jim.

    In: Lecture Notes in Computer Science, Vol. 8963, 2014, p. 21.

    Research output: Contribution to journalConference articleResearchpeer-review

    TY - JOUR

    T1 - Isabelle/UTP: A Mechanised Theory Engineering Framework

    AU - Foster, Simon

    AU - Zeyda, Frank

    AU - Woodcock, Jim

    PY - 2014

    Y1 - 2014

    U2 - 10.1007/978-3-319-14806-9_2

    DO - 10.1007/978-3-319-14806-9_2

    M3 - Conference article

    VL - 8963

    SP - 21

    JO - Lecture Notes in Computer Science

    JF - Lecture Notes in Computer Science

    SN - 0302-9743

    ER -