Program verification prize

Robert S. Boyer, J. Strother Moore. Program verification prize. ACM SIGSOFT Software Engineering Notes, 8(3):64, 1983. [doi]

No reviews for this publication, yet.