Reasoning Algebraically About P-Solvable Loops.

Laura Kovcs

Browse the full TACAS paper archive.