Editing Correctness (computer science) (section)

==References==
*"[https://books.google.com/books?id=l5FZxDY3yi0C&q=correctness Human Language Technology. Challenges for Computer Science and Linguistics]." Google Books. N.p., n.d. Web. 10 April 2017.
*"[https://books.google.com/books?id=6YAXDQAAQBAJ&q=correctness Security in Computing and Communications]." Google Books. N.p., n.d. Web. 10 April 2017.
*"[https://www.coopertoons.com/education/haltingproblem/haltingproblem.html The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation]." The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation. N.p., n.d. Web. 10 April 2017.
*Turner, Raymond, and Nicola Angius. "[https://stanford.library.sydney.edu.au/entries/computer-science/ The Philosophy of Computer Science]." ''Stanford Encyclopedia of Philosophy''. Stanford University, 20 August 2013. Web. 10 April 2017.
*Dijkstra, E. W. "Program Correctness". U of Texas at Austin, Departments of Mathematics and Computer Sciences, Automatic Theorem Proving Project, 1970. Web.

{{Software quality}}

[[Category:Formal methods terminology]]
[[Category:Theoretical computer science]]
[[Category:Software quality]]