Formal Methods for Conformance Testing

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period17 Apr 2000
    Event titleCSI colloquium 2000
    Event typeCourse
    LocationNijmegen, Netherlands