Amortized Resource Analysis with Polynomial Potential (2010)

by J Hoffmann, M Hofmann
Venue:In Proc. of ESOP’10, volume 6012 of LNCS