基于JML的标记-清扫垃圾收集验证
기우JML적표기-청소랄급수집험증
MARK-AND-SWEEP GARBAGE COLLECTION VERIFICATION BASED ON JML
저자의 최근 논문