APA (7th ed.) Citation

Qian, J., & Xu, B. (2007). Verifying Programs Using Abstraction and Theorem Proving. International MultiConference of Engineers & Computer Scientists 2007 (Volume 1), 1044.

Chicago Style (17th ed.) Citation

Qian, Junyan, and Baowen Xu. "Verifying Programs Using Abstraction and Theorem Proving." International MultiConference of Engineers & Computer Scientists 2007 (Volume 1) 2007: 1044.

MLA (9th ed.) Citation

Qian, Junyan, and Baowen Xu. "Verifying Programs Using Abstraction and Theorem Proving." International MultiConference of Engineers & Computer Scientists 2007 (Volume 1), 2007, p. 1044.