Computer-Aided Verification Computer-aided translation Computer aided translation Computer-aided design Computer-Aided Verification：Proceedings 并列题名：Computer-aided translation Computer-aided design. Art of patent right verification SIL determination and verification 并列题名：Computer aided translation