Jerry R. Burch

Jerry R. Burch

Synopsys, Inc.
在 fun-journey.com 的电子邮件经过验证
被引用次数：9733
Formal verification applications of CNF SAT checking automated deduction