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

Jonatan Wiik, Pontus Boström

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    4 Citeringar (Scopus)

    Sökresultat