A general-purpose framework for software verification

    Projekter: ProjektForskning

    Projektdetaljer

    Beskrivelse



    StatusAfsluttet
    Effektiv start/slut dato01/07/201330/04/2017

    Finansiering

    • Danmarks Frie Forskningsfond: 3.725.781,00 kr.