ABDULLA Parosh Aziz について
Uppsala Univ., SWE について
CHEN Yu-Fang について
Academia Sinica, TWN について
DELZANNO Giorgio について
Universita di Genova, ITA について
HAZIZA Frederic について
Uppsala Univ., SWE について
HONG Chih-Duo について
Academia Sinica, TWN について
REZINE Ahmed について
Uppsala Univ., SWE について
Lecture Notes in Computer Science について
制約 について
抽象化 について
パラメータ について
証明 について