Type: (null)
Journal: Journal of Automated Reasoning
Year: 2009
Pages: 43, 363-446
A Formally Verified Compiler Back-end
Distribution of the number of citations over years.