Concurrent Objects

    Project Details

    Description

    Investigation of techniques for formal specification and verification of concurrent objects.
    StatusActive
    Effective start/end date01/09/1993 → …