An Improvement in Formal Verification
Distribution of the number of citations over years.