Formal Methods for Conformance Testing

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period28 Aug 2000
    Held atSRI International, United States