A general-purpose framework for software verification

    Projekter: Projekt › Forskning

    Projektdetaljer

    Beskrivelse



    StatusAfsluttet
    Effektiv start/slut dato01/07/2013 → 30/04/2017

    Finansiering

    • Danmarks Frie Forskningsfond: 3.725.781,00 kr.