Isabelle/UTP: A Mechanised Theory Engineering Framework

Simon Foster, Frank Zeyda, Jim Woodcock

    Research output: Contribution to journalConference article

    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