Computer-aided verification : Computer aided verification : Computer-aided translation Computer-aided design computer-based instruction Computer-aided auditing Computer-aided perfumery computer aided design Computer-aided corcuit design Computer-aided Manufacturing