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
Formalising Java safety - an overview
Hartel, P. H.
(Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
Period
22 Sep 2000
Event title
4th Smart Card Research and Advanced Applications Conference, CARDIS 2000
Event type
Conference
Conference number
4
Location
Bristol, United Kingdom