APA Citation

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 Citation

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

Warning: These citations may not always be 100% accurate.