6 citations · 6 across the 1 of their papers we have counts for
1 paper
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti +1
The design and implementation of precise static analyzers for significant fragments of modern imperative languages like C, C++, Java and Python is a challenging problem. In this pa…