Communications of the ACM
Data refinement of predicate transformers
Theoretical Computer Science
ACM Computing Surveys (CSUR)
A practical theory of programming
A practical theory of programming
Embedding a demonic semilattice in a relation algebra
Theoretical Computer Science
A relational calculus for program construction by parts
Science of Computer Programming - Special issue on mathematics of program construction
A relational basis for program construction by parts
A relational basis for program construction by parts
Status Report: Software Reusability
IEEE Software
A Calculus for Predicative Programming
Proceedings of the Second International Conference on Mathematics of Program Construction
| Hi-index | 0.02 |