• Suche: Object oriented verification kernels for secure Java applications

Treffer 1 - 3 von 3

1

Object oriented verification kernels for secure Java applications
Grandy, H. ; Stenzel, K. ; Reif, W.
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

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter