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

  • G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentation › Invited talk

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