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
Specification Based Testing with Formal Methods: From Theory via Tools to Aplications
G.J. Tretmans (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Nijmegen
Period
4 Mar 2002
Event title
Talk Colloquium at University of Nijmegen
Event type
Conference
Location
Nijmegen
Keywords
METIS-209208