↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
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
08 Oct 2014