por APLAS 2003 (2003 : Beijing, China) | Ohori, Atsushi, 1957- [editor].
por European Symposium on Programming (9 : 2000 : Berlin, Alemania) | Smolka, Gert [editor].
por International Static Analysis Symposium (11 : 2004 : Verona, Italia) | Giacobbe, Giovanni [editor].