APA引文

Heintze, N., Jaffar, J., Voicu, R., & SCIENCE, C. (2013). Framework for combining analysis and verification.

Chicago Style Citation

Heintze, N., J. Jaffar, R. Voicu, and COMPUTER SCIENCE. Framework for Combining Analysis and Verification. 2013.

MLA引文

Heintze, N., J. Jaffar, R. Voicu, and COMPUTER SCIENCE. Framework for Combining Analysis and Verification. 2013.

警告：這些引文格式不一定是100％准確.