Relational Models and Logics for Software Verification

  • Birkedal, Lars (PI)

    Projekter: ProjektForskning

    Projektdetaljer

    StatusAfsluttet
    Effektiv start/slut dato01/03/201121/09/2011

    Emneord

    • Datalogi
    • Semantik
    • Programlogik
    • Softwareverifikation