The correctness problem in computer science : R.S. Boyer and J.S. Moore (Editors): Academic Press, New York, London, 1981, 296 pages, US$29.50. ISBN 0-12-122920-3.

• Publisher: Elsevier Science
• Year: 1983
• Tongue: English
• Weight: 97 KB
• Volume: 25
• Category: Article
• ISSN: 0378-4754
• DOI: 10.1016/0378-4754(83)90038-1