Verification is Experimentation!

    Activity: Talk or presentation › Oral presentation

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

    Related content

    • Research output

    • Verification Is Experimentation!

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review