软硬件协同验证方法的研究
연경건협동험증방법적연구
저자의 최근 논문