Holger Grandy, Kurt Stenzel, Wolfgang Reif. Object Oriented Verification Kernels for Secure Java Applications. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 170-179, IEEE Computer Society, 2005. [doi]
Abstract is missing.