Automatic Testing with Formal Methods

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Barcelona, Spain
    Period10 Nov 1999
    Event titleVoordracht EuroSTAR'99 - 7th European Int. Conference on Software Testing, Analysis & Review: null
    Event typeConference
    LocationBarcelona, Spain

    Keywords

    • METIS-122660