The graph shows the publications of Formal analysis and its corresponding percentile for the sake of comparison. The percentile is calculated based on the papers whose schools have been identified and excludes any publications without identified schools.The graph shows the citations of Formal analysis's papers published in each year.
