por Rival, Xavier [autor] | Yi, Kwangkeun [autor].
por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea).