21 citations · 78 across the 23 of their papers we have counts for
1 paper · 2 filters
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…