Cita APA (7a ed.)
Babamir, S., & Borhani, M. (2012). Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. Journal of Medical Systems, 36(4), 2633-2649.
Cita Chicago Style (17a ed.)
Babamir, Seyed, y Mehdi Borhani. "Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample." Journal of Medical Systems 36, no. 4 (2012): 2633-2649.
Cita MLA (9a ed.)
Babamir, Seyed, y Mehdi Borhani. "Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample." Journal of Medical Systems, vol. 36, no. 4, 2012, pp. 2633-2649.
Precaución: Estas citas no son 100% exactas.