Formalising Java safety - an overview

Hartel, P. H. (Invited speaker)

    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