Formal Program Testing

Robert Cartwright. Formal Program Testing. In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 125-132, 1981.

Abstract

Abstract is missing.