ISO-690 (author-date, English)

GRIESKAMP, Wolfgang (Hrsg.). [book]. 2000. Berlin: Springer. Lecture notes in computer science, 1945. ISBN 3540411968.

Elsevier - Harvard (with titles)

Grieskamp, W. (Hrsg.), 2000. Integrated formal methods : second international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.

American Psychological Association 7th edition

Grieskamp, W. (Hrsg.). (ca. 2000). Integrated formal methods : second international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Grieskamp W (Hrsg.) (2000) Integrated formal methods : second international conference ; proceedings. Lecture notes in computer science

Juristische Zitierweise (Stüber) (Deutsch)

Grieskamp, Wolfgang (Hrsg.), Integrated formal methods : second international conference ; proceedings, Lecture notes in computer science 2000, .

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