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

Jonatan Wiik, Pontus Boström

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    4 Citeringar (Scopus)
    Filter
    Slutfört

    Sökresultat