Merging digital hydraulic systems and supercomputing (Academy of Finland)

Walden, Marina (CoI)
Westerholm, Jan (Ansvarig forskare)
Boström, Pontus (CoI)
Ersfolk, Johan (CoI)
Wiik, Jonatan (CoI)

Informationsteknologi

3 Konferensbidrag
1 Beställd rapport
1 Artikel

1 resultat

Filter

2016

Contract-Based Verification of MATLAB-Style Matrix Programs
Wiik, J. & Boström, P., 2016, I: Formal Aspects of Computing. 28, 1, s. 79–107
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)