@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",
}