(1979). Proving programs correct / Robert B. Anderson.
Chicago Style (17th ed.) CitationProving Programs Correct / Robert B. Anderson. 1979.
MLA (9th ed.) CitationProving Programs Correct / Robert B. Anderson. 1979.
Warning: These citations may not always be 100% accurate.