Computer-Aided Verification Computer-aided translation Computer aided translation computer aided design computer-aided design. Computer-Aided Verification：Proceedings 并列题名：Computer-aided translation computer - aided design. computer aided manufacturing Art of patent right verification