• Object oriented verification k...
  • Inhaltsangabe

Treffer: Object oriented verification kernels for secure Java applications

Titel:
Object oriented verification kernels for secure Java applications / Holger Grandy, Kurt Stenzel, Wolfgang Reif ; Herausgeber: Bernhard K. Aichernig, Bernhard Beckert
Verantwortlich:
Grandy, Holger (Verfasser) ; Stenzel, Kurt (Verfasser) ; Reif, Wolfgang (Verfasser) ; Aichernig, Bernhard K. (Herausgeber); Beckert, Bernhard (Herausgeber)
Veröffent­licht:
Augsburg : Universität Augsburg, 2005
Piscataway ; NJ : Institute of Electrical and Electronics Engineers (IEEE), 2005
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Anmerkungen:
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 7-9 September 2005, Koblenz, Germany, S. 170-179
DOI:
10.1109/SEFM.2005.28

Zusatz-Informationen

Zusatz-Funktionen