Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
Browse the full DAC paper archive.