ISO-690 (author-date, English)

HUNT, Warren A. (Hrsg.). [book]. 2003. Berlin: Springer. Lecture notes in computer science, 2725. ISBN 3540405240.

Elsevier - Harvard (with titles)

Hunt, W.A. (Hrsg.), 2003. Computer aided verification : 15 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Hunt, W. A. (Hrsg.). (ca. 2003). Computer aided verification : 15 th international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Hunt WA (Hrsg.) (2003) Computer aided verification : 15 th international conference ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Hunt, Warren A. (Hrsg.), Computer aided verification : 15 th international conference ; proceedings, Lecture notes in computer science 2003, .

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