ISO-690 (author-date, English)

HUISMAN, Marieke, 2001. Reasoning about Java programs in higher order logic using PVS and Isabelle. Enschede: Ipskamp. IPA Dissertation series, 2001,3. ISBN 9090144404.

Elsevier - Harvard (with titles)

Huisman, M., 2001. Reasoning about Java programs in higher order logic using PVS and Isabelle, IPA Dissertation series, IPA Dissertation series. Ipskamp, Enschede.

American Psychological Association 7th edition

Huisman, M. (ca. 2001). Reasoning about Java programs in higher order logic using PVS and Isabelle [Book]. In IPA Dissertation series. Ipskamp.

Springer - Basic (author-date)

Huisman M (2001) Reasoning about Java programs in higher order logic using PVS and Isabelle. Ipskamp, Enschede

Juristische Zitierweise (Stüber) (Deutsch)

Huisman, Marieke, Reasoning about Java programs in higher order logic using PVS and Isabelle, Enschede 2001.

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