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

Jonatan Wiik, Pontus Boström

Research output: Book/ReportCommissioned reportProfessional

4 Citations (Scopus)
Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3053-0
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Cite this