ANDREI, G. C., & SCIENCE, C. (2012). Efficiently verifying programs with rich control flows.
استشهاد بنمط شيكاغوANDREI, GHERGHINA CRISTIAN, و COMPUTER SCIENCE. Efficiently Verifying Programs With Rich Control Flows. 2012.
MLA استشهادANDREI, GHERGHINA CRISTIAN, و COMPUTER SCIENCE. Efficiently Verifying Programs With Rich Control Flows. 2012.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.