Predicative Programming as a Unifying Approach for Design of Concurrent Systems

Zwiers, J. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Amsterdam
    Period18 Nov 1992
    Event titleWorkshop on Assertional Methods
    Event typeConference
    LocationAmsterdam

    Keywords

    • METIS-122770