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

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Ottawa, Canada
    Period5 Sep 2000
    Event titleColloquium University of Ottawa
    Event typeConference
    LocationOttawa, Canada

    Keywords

    • METIS-120876