APA引文

ANDREI, G. C., & SCIENCE, C. (2012). Efficiently verifying programs with rich control flows.

Chicago Style Citation

ANDREI, GHERGHINA CRISTIAN, and COMPUTER SCIENCE. Efficiently Verifying Programs With Rich Control Flows. 2012.

MLA引文

ANDREI, GHERGHINA CRISTIAN, and COMPUTER SCIENCE. Efficiently Verifying Programs With Rich Control Flows. 2012.

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