| The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and S Recent countries visiting this post |  |
 | 3 | United States |
| The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and S Recent countries visiting this post | |
| 3 | United States |