Bérard, B. (2001) Systems and software verification : model-checking techniques and tools [book]. Berlin [u.a.]: Springer.
Chicago Manual of Style 17th edition (full note)Bérard, Béatrice. Systems and software verification : model-checking techniques and tools. Book. Berlin [u.a.]: Springer, [2001?], Berlin [u.a.]: Springer, [2001?].
American Psychological Association 7th editionBérard, B. (ca. 2001). Systems and software verification : model-checking techniques and tools [Book]. Springer.
Modern Language Association 9th editionBérard, B. Systems and software verification : model-checking techniques and tools. book, Springer, 2001.
ISO-690 (author-date, Deutsch)BÉRARD, Béatrice, 2001. Systems and software verification : model-checking techniques and tools. Berlin [u.a.]: Springer. ISBN 3540415238
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.