N, sandhya P. and A, V. H. (2014) “SAGE: Profiling and Optimization in Formal Methods”, International Journal of Sciences: Basic and Applied Research (IJSBAR), 15(1), pp. 590–604. Available at: https://gssrr.org/index.php/JournalOfBasicAndApplied/article/view/2237 (Accessed: 23 July 2024).