Experiences with model checking in industry

Langerak, R. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Amsterdam
    Period22 Jan 1999
    Event titleVoordracht SVC kick-off meeting: null
    Event typeConference
    LocationAmsterdam

    Keywords

    • METIS-121432