Non-polynomial Worst-case Analysis of Recursive Programs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
PDF Published version Artifact
Type
Conference paper
Publication
International Conference on Computer Aided Verification (CAV)