ISO-690 (author-date, English)

HOLGER GRANDY, KURT STENZEL, WOLFGANG REIF und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [no date]. Object Oriented Verification Kernels for Secure Java Applications. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/2005-Verification Kernels/2005-sefm-verification-kernels.pdf.

Elsevier - Harvard (with titles)

Holger Grandy, Kurt Stenzel, Wolfgang Reif, The Pennsylvania State University Cite Seer X Archives, o. J. Object Oriented Verification Kernels for Secure Java Applications. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/2005-Verification Kernels/2005-sefm-verification-kernels.pdf.

American Psychological Association 7th edition

Holger Grandy, Kurt Stenzel, Wolfgang Reif, & The Pennsylvania State University Cite Seer X Archives. (o. J.). Object Oriented Verification Kernels for Secure Java Applications. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/2005-Verification Kernels/2005-Sefm-Verification-kernels.Pdf.

Springer - Basic (author-date)

Holger Grandy, Kurt Stenzel, Wolfgang Reif, The Pennsylvania State University Cite Seer X Archives Object Oriented Verification Kernels for Secure Java Applications. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/2005-Verification Kernels/2005-sefm-verification-kernels.pdf

Juristische Zitierweise (Stüber) (Deutsch)

Holger Grandy/ Kurt Stenzel/ Wolfgang Reif/ The Pennsylvania State University Cite Seer X Archives, Object Oriented Verification Kernels for Secure Java Applications, http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/2005-Verification Kernels/2005-sefm-verification-kernels.pdf .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.