LE Ton Chanh について
National Univ. Singapore について
GHERGHINA Cristian について
National Univ. Singapore について
VOICU Razvan について
National Univ. Singapore について
CHIN Wei-Ngan について
National Univ. Singapore について
Lecture Notes in Computer Science について
プログラム検証 について
証明 について
スライス について
フレームワーク について