Formal Methods for Conformance Testing

    Activity: Talk or presentationInvited talk

    Period2 Nov 2000
    Held atUniversitat Augsburg, Germany