6 citations · 24 across the 16 of their papers we have counts for
1 paper · 2 filters
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applicat…