Formal Methods for Conformance Testing

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period2 Nov 2000
    Held atUniversitat Augsburg, Germany