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

Jonatan Wiik, Pontus Boström

    Research output: Book/Journal/ReportCommissioned reportProfessional

    4 Citations (Scopus)
    Filter
    Finished

    Search results