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

Jonatan Wiik, Pontus Boström

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering
EditorsStephan Merz, Jun Pang
PublisherSpringer
Pages396–412
ISBN (Electronic)978-3-319-11737-9
ISBN (Print)978-3-319-11736-2
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg
Duration: 3 Nov 20145 Nov 2014

Conference

Conferenceconference; 2014-11-03; 2014-11-05
Period03/11/1405/11/14

Cite this