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

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 8 Dimensions

Readers on

mendeley: 5 Mendeley

Summary Patents Dimensions citations

So far, Altmetric has seen 1 patent that references this research output.

Compilation validation

Application EP-2787435-A1

European Patent Office

This page shows the most recent patents that mention this research output.

Click here to find out how to access more activity.