Contract-Based Specification and Verification of Dataflow Programs

B3 Non-refereed conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Jonatan Wiik, Pontus Boström
Editors: Luca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez and Anna Ingolfsdottir
Publisher: Reykjavik University
Place: Reykjavik
Publication year: 2016
Publisher: Reykjavik University, Iceland
Book title: Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
Title of series: Technical report
Number in series: RUTR-SCS16001
Start page: 81
End page: 83
ISSN: 1670-5777

Last updated on 2019-13-12 at 05:04