具有计算可靠性的符号模型
구유계산가고성적부호모형
Symbolic Model with Computational Soundness
저자의 최근 논문