A Formal Approach to Testing Concurrent Systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aalborg, Denmark
    Period5 Oct 1990
    Event title2nd Nordic Workshop on Program Correctness: null
    Event typeConference
    LocationAalborg, Denmark

    Keywords

    • METIS-123141