Specification Based Testing with Formal Methods: From Theory via Tools to Applications

G.J. Tretmans (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Lannion, France
    Period18 Jul 2001
    Event titleTalk at France Telecom Research and Development: null
    Event typeConference
    LocationLannion, France

    Keywords

    • METIS-204522