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. https://doi.org/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 C. Van Slyke (Ed.), Information Communication Technologies: Concepts, Methodologies, Tools, and Applications (pp. 3460-3474). IGI Global. https://doi.org/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. https://doi.org/10.4018/978-1-59904-949-6.ch243
Export Reference