Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
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.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.