Publications

Ontology-based tools in the service of hardware verification

• • Eyal Bin
  • Alaa Ghanayim
  • et al.
• 2010
• SEKE 2010