Madalina Erascu. Semi-automatic analysis of algorithm complexity (Case study: Square-root computation). In IEEE 12th International Symposium on Intelligent Systems and Informatics, SISY 2014, Subotica, Serbia, September 11-13, 2014. pages 67-72, IEEE, 2014. [doi]
Abstract is missing.