APA Citation

Anderson, R. B. (1979). Proving programs correct. New York: John Wiley & Sons.

Chicago Style Citation

Anderson, Robert Brockett. Proving Programs Correct. New York: John Wiley & Sons, 1979.

MLA Citation

Anderson, Robert Brockett. Proving Programs Correct. New York: John Wiley & Sons, 1979.

Warning: These citations may not always be 100% accurate.