第五届InternationalVerificationHardware
开放式VerificationMethodologyCookbook
ApplicationsVerificationLeveragingValidation
InternationalVerificationHardwareSoftware
InterpretationVerification抽象Checking
IntroductionVerificationHardware验证
数据结构Verification算法Structures
重构FpgaReconfigurableVerification
医药图书核查毒素公约
字符串VerificationAnalysisSoftware
InterpretationInternationalVerification抽象
医药图书InternationalVerificationConference
VerificationComputationScientificAutomatic
多项式近似VerificationApproximate
9783639081428VerificationInterlockAnalysis
预售VerificationChallenges印刷
C++实践者VerificationPractitioner
可编程体系结构ArchitecturesVerification
新兴ImplementationVerificationInformation
International暑期VerificationPractical
InternationalVerificationConferenceComputer
InternationalVerificationNumericalSoftware
信号处理器探测器粒子Verification
9781013271151VerificationComputer印刷
条约物体VerificationApproaches
VerificationTechnologyAutomated验证
微分方程数值VerificationNumerical
VerificationDeductiveSoftware演绎
行时InternationalVerification研讨
遗传学Verification推理基因
VerificationComputer辅助验证
InternationalVerificationTechnologyAutomated
行时国际会议InternationalVerification
Verification现状验证趋势
建模VerificationModelling验证
