Deutsch
Login
Open Access
Home
Search
Browse
Publish/report a document
Help
Object oriented verification kernels for secure Java applications
Holger Grandy
,
Kurt Stenzel
,
Wolfgang Reif
Export metadata
BibTeX
RIS
Statistics
Additional Services
Metadaten
Author:
Holger Grandy
GND
,
Kurt Stenzel
GND
,
Wolfgang Reif
ORCiD
GND
Frontdoor URL
https://opus.bibliothek.uni-augsburg.de/opus4/35577
ISBN:
0-7695-2435-4
OPAC
Parent Title (English):
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 7-9 Sept. 2005, Koblenz, Germany
Publisher:
IEEE
Place of publication:
Los Alamitos, Calif.
Editor:
Bernhard K. Aichernig, Bernhard Beckert
Type:
Part of a Book
Language:
English
Year of first Publication:
2005
Publishing Institution:
Universität Augsburg
Release Date:
2017/07/21
First Page:
170
Last Page:
179
DOI:
https://doi.org/10.1109/SEFM.2005.28
Institutes:
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik