Automating Verification of Loops by Parallelization.

Tobias Gedell, Reiner Hhnle

Browse the full LPAR paper archive.