Contract-Based Specification and Verification of Dataflow Programs

Jonatan Wiik; Pontus Boström

Contract-Based Specification and Verification of Dataflow Programs

Jonatan Wiik, Pontus Boström

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
Redaktörer	Luca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez, Anna Ingolfsdottir
Förlag	Reykjavik University, Iceland
Sidor	81–83
Status	Publicerad - 2016
MoE-publikationstyp	B3 Ej refererad artikel i konferenshandlingar
Evenemang	Nordic Workshop on Programming Theory - 27th Nordic Workshop on Programming Theory, NWPT 2015 Varaktighet: 21 okt. 2015 → 23 okt. 2015

Konferens

Konferens	Nordic Workshop on Programming Theory
Period	21/10/15 → 23/10/15

Åtkomst av dokument

http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

Citera det här

@inproceedings{105f217cf65f4d749ece279fa74a9cb7,

title = "Contract-Based Specification and Verification of Dataflow Programs",

author = "Jonatan Wiik and Pontus Bostr{\"o}m",

year = "2016",

language = "Odefinierat/ok{\"a}nt",

pages = "81–83",

editor = "Luca Aceto and Ignacio Fabregas and Alvaro Garcia-Perez and Anna Ingolfsdottir",

booktitle = "Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015",

publisher = "Reykjavik University, Iceland",

note = "Nordic Workshop on Programming Theory ; Conference date: 21-10-2015 Through 23-10-2015",

}

Wiik, J & Boström, P 2016, Contract-Based Specification and Verification of Dataflow Programs. i L Aceto, I Fabregas, A Garcia-Perez & A Ingolfsdottir (red), Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Reykjavik University, Iceland, s. 81–83, Nordic Workshop on Programming Theory, 21/10/15. <http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf>

Contract-Based Specification and Verification of Dataflow Programs. / Wiik, Jonatan; Boström, Pontus.
Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. red. / Luca Aceto; Ignacio Fabregas; Alvaro Garcia-Perez; Anna Ingolfsdottir. Reykjavik University, Iceland, 2016. s. 81–83.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

TY - GEN

T1 - Contract-Based Specification and Verification of Dataflow Programs

AU - Wiik, Jonatan

AU - Boström, Pontus

PY - 2016

Y1 - 2016

M3 - Publicerad konferensartikel

SP - 81

EP - 83

BT - Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015

A2 - Aceto, Luca

A2 - Fabregas, Ignacio

A2 - Garcia-Perez, Alvaro

A2 - Ingolfsdottir, Anna

PB - Reykjavik University, Iceland

T2 - Nordic Workshop on Programming Theory

Y2 - 21 October 2015 through 23 October 2015

ER -