基于K-模拟的抽象
기우K-모의적추상
K-Simulation Based Abstractions
저자의 최근 논문