Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research Units
Projects
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
An industrial-strength formal method
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
1 Nov 2004
Event title
1st International Symposium On Leveraging Applications of Formal Methods, ISoLA 2004
Event type
Conference
Conference number
1
Location
Paphos, Cyprus
Show on map
Degree of Recognition
International
Keywords
METIS-222561