Object oriented verification kernels for secure Java applications
Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang ; Aichernig, Bernhard K. ; Beckert, Bernhard 2005 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1382396538
- Titel
-
Object oriented verification kernels for secure Java applications
- Art des Inhalts
- Monographie
- Verfassangaben
- Holger Grandy, Kurt Stenzel, Wolfgang Reif ; Herausgeber: Bernhard K. Aichernig, Bernhard Beckert
- Autor(en)
-
- Grandy, Holger
- Stenzel, Kurt
- Reif, Wolfgang
- Aichernig, Bernhard K.
- Beckert, Bernhard
- Verlag
- Augsburg : Universität Augsburg [2005] - Piscataway : Institute of Electrical and Electronics Engineers (IEEE) [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- Online-Ressource
- DOI
- 10.1109/SEFM.2005.28
- Online
- https://doi.org/10.1109/SEFM.2005.28
- Sprache
- eng
- Anmerkungen
-
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 7-9 September 2005, Koblenz, Germany, S. 170-179
- Stand
- 05.12.2025 09:17
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
