Harrison, M. d., Masci, P., Campos, J. C., & Curzon, P. (2013). Automated theorem proving for the systematic analysis of an infusion pump.
Citação do estilo Chicago (17ª ed.)Harrison, Michael douglas, P. Masci, José C. Campos, e P. Curzon. Automated Theorem Proving for the Systematic Analysis of an Infusion Pump. 2013.
Citação MLA (8ª ed.)Harrison, Michael douglas, et al. Automated Theorem Proving for the Systematic Analysis of an Infusion Pump. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.