Treffer: Object oriented verification kernels for secure Java applications
Title:
Object oriented verification kernels for secure Java applications
Authors:
Source:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :170-179 2005
Relation:
Third IEEE International Conference on Software Engineering and Formal Methods
Database:
IEEE Xplore Digital Library