Relational Models and Logics for Software Verification

  • Birkedal, Lars (PI)

    Project: Research

    Project Details

    StatusFinished
    Effective start/end date01/03/201121/09/2011