Non-polynomial Worst-case Analysis of Recursive Programs

Publication
International Conference on Computer Aided Verification (CAV)