Verification is Experimentation!

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period23 Aug 2000
    Event title11th International Conference on Concurrency Theory, CONCUR 2000
    Event typeWorkshop
    Conference number11
    LocationState College, United States, Pennsylvania
    Degree of RecognitionInternational