MLA
Adam, Alison, and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System." Human Computer Interaction: Concepts, Methodologies, Tools, and Applications, edited by Chee Siang Ang and Panayiotis Zaphiris, IGI Global, 2009, pp. 2435-2449. https://doi.org/10.4018/978-1-87828-991-9.ch162
APA
Adam, A. & Spedding, P. (2009). Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System. In C. Ang & P. Zaphiris (Eds.), Human Computer Interaction: Concepts, Methodologies, Tools, and Applications (pp. 2435-2449). IGI Global. https://doi.org/10.4018/978-1-87828-991-9.ch162
Chicago
Adam, Alison, and Paul Spedding. "Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System." In Human Computer Interaction: Concepts, Methodologies, Tools, and Applications, edited by Chee Siang Ang and Panayiotis Zaphiris, 2435-2449. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-87828-991-9.ch162
Export Reference