por International Static Analysis Symposium (11 : 2004 : Verona, Italia) | Giacobbe, Giovanni [editor].
por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea).