GRANDY, Holger, STENZEL, Kurt und REIF, Wolfgang, 2005. Object oriented verification kernels for secure Java applications. Augsburg: Universität Augsburg.
Elsevier - Harvard (with titles)Grandy, H., Stenzel, K., Reif, W., 2005. Object oriented verification kernels for secure Java applications. Universität Augsburg, Augsburg. https://doi.org/10.1109/SEFM.2005.28
American Psychological Association 7th editionGrandy, H., Stenzel, K., & Reif, W. (ca. 2005). Object oriented verification kernels for secure Java applications (B. K. Aichernig & B. Beckert, Hrsg.) [Cd]. Universität Augsburg. https://doi.org/10.1109/SEFM.2005.28
Springer - Basic (author-date)Grandy H, Stenzel K, Reif W (2005) Object oriented verification kernels for secure Java applications. Universität Augsburg, Augsburg
Juristische Zitierweise (Stüber) (Deutsch)Grandy, Holger/ Stenzel, Kurt/ Reif, Wolfgang, Object oriented verification kernels for secure Java applications, Augsburg 2005.