Formalization of Properties of Functional Programs
Journal of the ACM (JACM)
Complexity of Synthesizing Inductive Assertions
Journal of the ACM (JACM)
Communications of the ACM
The new math of computer programming
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Some classes of naturally provable programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Generalizing specifications for uniformly implemented loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |