Formal Methods for Conformance Testing

Brinksma, H. (Invited speaker)

    Activity: Talk or presentation › Invited talk

    Period2 Nov 2000
    Held atUniversitat Augsburg, Germany