Contract-Based Verification of MATLAB-Style Matrix Programs

Jonatan Wiik, Pontus Boström

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

1 Slutfört

1 resultat

Slutfört

MERGE: Merging digital hydraulic systems and supercomputing (Academy of Finland)
Walden, M., Westerholm, J., Boström, P., Ersfolk, J. & Wiik, J.
01/01/15 → 31/12/16
Projekt: Finlands Akademi/Övriga Forskningsråd