附注:
xvi, 456 p. :
著者:
Philippou, Anna.
著者:
Kowalewski, S.
主要团体责任者:
ETAPS 2009