ISO-690 (author-date, English)

OHEIMB, David von, 2001. Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic.

Elsevier - Harvard (with titles)

Oheimb, D. von, 2001. Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic. https://doi.org/urn:nbn:de:bvb:91-diss2001020916796

American Psychological Association 7th edition

Oheimb, D. von. (ca. 2001). Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic [Cd]. https://doi.org/urn:nbn:de:bvb:91-diss2001020916796

Springer - Basic (author-date)

Oheimb D von (2001) Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic

Juristische Zitierweise (Stüber) (Deutsch)

Oheimb, David von, Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic, 2001.

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