Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
Browse the full CAV paper archive.