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 Methods in the BOS project
G.J. Tretmans (Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
Period
14 Oct 1997