Formalising Java safety - an overview

  • Pieter H. Hartel (Invited speaker)

    Activity: Talk or presentation › Invited talk

    Period22 Sept 2000
    Event title4th Smart Card Research and Advanced Applications Conference, CARDIS 2000
    Event typeConference
    Conference number4
    LocationBristol, United KingdomShow on map