MLA
Adam, Alison and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System." Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, IGI Global, 2009, pp. 2760-2774. http://doi:10.4018/978-1-60566-060-8.ch161
APA
Adam, A., & Spedding, P. (2009). Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System. In Tiako, P. (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 2760-2774). IGI Global. http://doi:10.4018/978-1-60566-060-8.ch161
Chicago
Adam, Alison, and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System." In Software Applications: Concepts, Methodologies, Tools, and Applications. edited by Pierre F. Tiako, 2760-2774. Hershey, PA: IGI Global, 2009. http://doi:10.4018/978-1-60566-060-8.ch161
Export Reference
