Formalising Java safety - an overview

• Authors:

• Pieter H. Hartel

• Affiliations:

• -

• Venue:
• Proceedings of the fourth working conference on smart card research and advanced applications on Smart card research and advanced applications
• Year:
• 2001