Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
On automated program construction and verification
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Hi-index | 0.00 |