Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Formal Test Automation: The Conference Protocol with PHACT
G.J. Tretmans (Keynote speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Opmerking: Key-note speaker Plaats van uitgifte: Ottawa, Canada
Period
1 Sep 2000
Event title
TestCom 2000
Event type
Conference
Location
Ottawa, Canada
Keywords
METIS-120879