15 citations · 27 across the 5 of their papers we have counts for
1 paper · 1 filter
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high perf…