A knowledge-based approach to the automatic verification of designs from CAD databases

Abstract
No abstract available