21 citations · 35 across the 3 of their papers we have counts for
1 paper · 1 filter
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini +1
Fully automatic worst-case complexity analysis has a number of applications in computer-assisted program manipulation. A classical and powerful approach to complexity analysis cons…