Semi-automatic analysis of algorithm complexity (Case study: Square-root computation) | IEEE Conference Publication | IEEE Xplore