Formalising Java safety - an overview

    Activity: Talk or presentationInvited talk

    Period22 Sep 2000
    Event title4th Smart Card Research and Advanced Applications Conference, CARDIS 2000
    Event typeConference
    Conference number4
    LocationBristol, United Kingdom