The synthesis of loop predicates
Communications of the ACM
A more mechanical approach to program verification
Programming Symposium, Proceedings Colloque sur la Programmation
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Generalizing specifications for uniformly implemented loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Comparative Analysis of Functional Correctness
ACM Computing Surveys (CSUR)
A hierarchical approach to program testing
ACM SIGPLAN Notices
| Hi-index | 0.00 |