Multivariate Amortized Resource Analysis (2010)

by Jan Hoffmann , Klaus Aehlig , Martin Hofmann
Citations:14 - 3 self