硬件设计的形式化验证技术
경건설계적형식화험증기술
Formal Verification of Hardware Designs
저자의 최근 논문