DMCA

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

by Elvira Albert , Puri Arenas , Samir Genaim , Germán Puebla
Venue:In SAS, LNCS
Citations:42 - 11 self