Merging digital hydraulic systems and supercomputing (Academy of Finland)

Walden, Marina (Co-Investigator)
Westerholm, Jan (Principal Investigator)
Boström, Pontus (Co-Investigator)
Ersfolk, Johan (Co-Investigator)
Wiik, Jonatan (Co-Investigator)

Information Technology

3 Conference contribution
1 Commissioned report
1 Article

1 results

Filter

2016

Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, In: Formal Aspects of Computing. 28, 1, p. 79–107
Research output: Contribution to journal › Article › Scientific › peer-review

1 Citation (Scopus)