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
Experience with Literate Programming in the Modelling and Validation of Systems
T.C. Ruys (Keynote speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Key-note speaker
Period
3 Apr 1998
Event title
4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998
Event type
Conference
Conference number
1998
Location
Lisbon, Portugal
Degree of Recognition
International
Keywords
METIS-121454