N, sandhya P.; A, V. H. SAGE: Profiling and Optimization in Formal Methods. International Journal of Sciences: Basic and Applied Research (IJSBAR), [S. l.], v. 15, n. 1, p. 590–604, 2014. Disponível em: https://gssrr.org/index.php/JournalOfBasicAndApplied/article/view/2237. Acesso em: 23 jul. 2024.