From Kleene Algebra to Refinement Algebra
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Designing an algorithmic proof of the two-squares theorem
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Hi-index | 0.89 |