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

G.J. Tretmans (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Nijmegen
    Period4 Mar 2002
    Event titleTalk Colloquium at University of Nijmegen
    Event typeConference
    LocationNijmegen

    Keywords

    • METIS-209208