Cita APA (7a ed.)
Woocock, J. (2006). First Steps in the Verified Software Grand Challenge. Computer (00189162), 39(10), 57-59.
Cita Chicago Style (17a ed.)
Woocock, Jim. "First Steps in the Verified Software Grand Challenge." Computer (00189162) 39, no. 10 (2006): 57-59.
Cita MLA (9a ed.)
Woocock, Jim. "First Steps in the Verified Software Grand Challenge." Computer (00189162), vol. 39, no. 10, 2006, pp. 57-59.
Precaución: Estas citas no son 100% exactas.