Pieter H. Hartel. Formalising Java Safety - An overview. In Josep Domingo-Ferrer, David Chan, Anthony Watson, editors, Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK. Volume 180 of IFIP Conference Proceedings, pages 115-134, Kluwer, 2000.
Abstract is missing.