Contract-Based Specification and Verification of Dataflow Programs

Jonatan Wiik, Pontus Boström

    Research output: Chapter in Book/Conference proceedingConference contributionScientific

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
    EditorsLuca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez, Anna Ingolfsdottir
    PublisherReykjavik University, Iceland
    Pages81–83
    Publication statusPublished - 2016
    MoE publication typeB3 Non-refereed article in conference proceedings
    EventNordic Workshop on Programming Theory - 27th Nordic Workshop on Programming Theory, NWPT 2015
    Duration: 21 Oct 201523 Oct 2015

    Conference

    ConferenceNordic Workshop on Programming Theory
    Period21/10/1523/10/15

    Cite this