ISO-690 (author-date, English)

BECKERT, Bernhard, GRAHL, Daniel und KÜSTERS, Ralf, 2012. The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study. Karlsruhe: KIT.

Elsevier - Harvard (with titles)

Beckert, B., Grahl, D., Küsters, R., 2012. The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study, Karlsruhe reports in informatics. KIT, Karlsruhe.

American Psychological Association 7th edition

Beckert, B., Grahl, D., & Küsters, R. (ca. 2012). The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study [Cd]. In Karlsruhe reports in informatics. KIT.

Springer - Basic (author-date)

Beckert B, Grahl D, Küsters R (2012) The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study. KIT, Karlsruhe

Juristische Zitierweise (Stüber) (Deutsch)

Beckert, Bernhard/ Grahl, Daniel/ Küsters, Ralf, The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study, Karlsruhe 2012.

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