References
Conte, Paul T. (1989), ‘More on Verification’, Communications of the ACM 32(7), p. 790.
Fetzer, James H. (1988), ‘Program Verification: The Very Idea’, Communications of the ACM 31(9), pp. 1048–1063.
Kuhn, Thomas S. (1970), The Structure of Scientific Revolutions, 2nd ed., Chicago: University of Chicago Press.
MacLane, Saunders (1986), Mathematics: Form and Function, New York: Springer-Verlag.
Popper, Karl R. (1965), Conjectures and Refutations: The Growth of Scientific Knowledge, 2nd ed., New York: Harper Torchbooks.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Indurkhya, B. Timothy R. Colburn, Philosophy and Computer Science. Minds and Machines 12, 454–459 (2002). https://doi.org/10.1023/A:1016130614038
Issue Date:
DOI: https://doi.org/10.1023/A:1016130614038