Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Jonatan Wiik, Pontus Boström
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 2014
ISBN: 978-952-12-3053-0

Last updated on 2019-15-10 at 03:04