Work

Ontology-Based Tools in the Service of Hardware Verification.