Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity | IEEE Conference Publication | IEEE Xplore