• UTPCalc - A calculator for UTP Predicates

    Thumbnail Image

    Files

    UTPCalc-UTP2016-revised.pdf (390.12 KB)

    Date

    2017

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    Springer International Publishing

    Access

    openAccess

    Embargo end date

    Citation

    Andrew Butterfield, UTPCalc - A calculator for UTP Predicates, LNCS, The 6th International Symposium on Unifying Theories of Programming, Reykjavik, Iceland, 5-6th June 2016, Jonathan Bowen, Huibiao Zhu, 11304, Springer International Publishing, 2017, 197 - 216

    Abstract

    Description

    PUBLISHED
    Reykjavik, Iceland

    URI

    http://hdl.handle.net/2262/78680

    Collections

    Computer Science (Scholarly Publications)
    RSS Feeds

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Sponsor: Science Foundation Ireland (SFI)
    Grant Number: 10/CE/11855

    Author's Homepage: http://people.tcd.ie/butrfeld

    Author: BUTTERFIELD, ANDREW

    Other Titles: LNCS
    Publisher: Springer International Publishing
    Type of material: Conference Paper