Issues in Conformance Testing with Formal Methods

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Leidschendam, The Netherlands
    Period11 Dec 1995
    Event titleNederlandse Test Conferentie
    Event typeConference
    LocationLeidschendam, The Netherlands

    Keywords

    • METIS-121359