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. https://doi.org/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 P. Tiako (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 2760-2774). IGI Global. https://doi.org/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. https://doi.org/10.4018/978-1-60566-060-8.ch161
Export Reference