FOREJT Vojtech について
Masaryk Univ., Brno, CZE について
KWIATKOWSKA Marta について
Oxford Univ. Computing Lab., Oxford, GBR について
NORMAN Gethin について
Univ. Glasgow, Glasgow, GBR について
TRIVEDI Ashutosh について
Oxford Univ. Computing Lab., Oxford, GBR について
Lecture Notes in Computer Science について