Fast Computation of Strong Control Dependencies.

Marek Chalupa, David Klaska, Jan Strejcek, Luks Tomovic

Browse the full CAV paper archive.