MLA
Adam, Alison and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System." Information Communication Technologies: Concepts, Methodologies, Tools, and Applications, edited by Craig Van Slyke, IGI Global, 2008, pp. 3460-3474. http://doi:10.4018/978-1-59904-949-6.ch243
APA
Adam, A., & Spedding, P. (2008). Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System. In Van Slyke, C. (Ed.), Information Communication Technologies: Concepts, Methodologies, Tools, and Applications (pp. 3460-3474). IGI Global. http://doi:10.4018/978-1-59904-949-6.ch243
Chicago
Adam, Alison, and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System." In Information Communication Technologies: Concepts, Methodologies, Tools, and Applications. edited by Craig Van Slyke, 3460-3474. Hershey, PA: IGI Global, 2008. http://doi:10.4018/978-1-59904-949-6.ch243
Export Reference
