Formal Methods for Conformance Testing: Theory can be Practical!

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Trento, Italy
    Period9 Jul 1999
    Event titleVoordracht congres Computer Aided Verification: null
    Event typeConference
    LocationTrento, Italy

    Keywords

    • METIS-121434