Contract-Based Verification of MATLAB-Style Matrix Programs

Jonatan Wiik, Pontus Boström

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Pages (from-to)79–107
JournalFormal Aspects of Computing
Volume28
Issue number1
DOIs
Publication statusPublished - 2016
MoE publication typeA1 Journal article-refereed

Cite this