Formelle metoder til udvikling af parallelle systemer

    Project Details

    StatusFinished
    Effective start/end date01/02/199030/01/1997