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

G.J. Tretmans (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-209208