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

G.J. Tretmans (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Aalborg, Denmark
    Period25 Apr 2001
    Event titleTalk "NoHauz' industrial presentation in series "Trends in Software Engineering"
    Event typeConference
    LocationAalborg, Denmark

    Keywords

    • METIS-204158