ISO-690 (author-date, English)

GRANDY, Holger, 2008. Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen. Augsburg: Universität Augsburg.

Elsevier - Harvard (with titles)

Grandy, H., 2008. Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen. Universität Augsburg, Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-10229

American Psychological Association 7th edition

Grandy, H. (ca. 2008). Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen [Cd]. Universität Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-10229

Springer - Basic (author-date)

Grandy H (2008) Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen. Universität Augsburg, Augsburg

Juristische Zitierweise (Stüber) (Deutsch)

Grandy, Holger, Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen, Augsburg 2008.

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