Abstract Interpretation for Secure Information Flow

    Project Details

    StatusFinished
    Effective start/end date01/09/2016 → 31/08/2019