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

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period10 Oct 2000
    Event title20th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE/PSTV 2000
    Event typeConference
    Conference number20
    LocationPisa, Italy