APA (7th ed.) Citation

Harrison, M. d., Masci, P., Campos, J. C., & Curzon, P. (2013). Automated theorem proving for the systematic analysis of an infusion pump.

Chicago Style (17th ed.) Citation

Harrison, Michael douglas, P. Masci, José C. Campos, and P. Curzon. Automated Theorem Proving for the Systematic Analysis of an Infusion Pump. 2013.

MLA (8th ed.) Citation

Harrison, Michael douglas, et al. Automated Theorem Proving for the Systematic Analysis of an Infusion Pump. 2013.