3 citations · 4 across the 5 of their papers we have counts for
1 paper · 2 filters
Flavio Ascari, Roberto Bruni, Roberta Gori +1
Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conver…