ISO-690 (author-date, English)

JUNYAN QIAN und BAOWEN XU, 2007. Verifying Programs Using Abstraction and Theorem Proving.

Elsevier - Harvard (with titles)

Junyan Qian, Baowen Xu, 2007. Verifying Programs Using Abstraction and Theorem Proving.

American Psychological Association 7th edition

Junyan Qian, & Baowen Xu. (2007). Verifying Programs Using Abstraction and Theorem Proving.

Springer - Basic (author-date)

Junyan Qian, Baowen Xu (2007) Verifying Programs Using Abstraction and Theorem Proving

Juristische Zitierweise (Stüber) (Deutsch)

Junyan Qian/ Baowen Xu, Verifying Programs Using Abstraction and Theorem Proving., 2007.

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