Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

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

American Psychological Association 7th edition

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

Modern Language Association 9th edition

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

ISO-690 (author-date, Deutsch)

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

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