↓ Skip to main content

Certifying compilers using higher-order theorem provers as certificate checkers

Overview of attention for article published in Formal Methods in System Design, December 2010
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (64th percentile)

Mentioned by

patent
1 patent

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
3 Mendeley