Specifying Rewrite Strategies for Interactive Exercises

by Bastiaan Heeren , Johan Jeuring , Alex Gerdes
Citations:11 - 11 self