computer-aided verification Computer-Aided Verification Computer-aided translation computers and civilization computer-aided design computer-aided design. computers and civilization. computer games fiction. computer aided design Computer-Aided Verification：Proceedings