por European Symposium on Programming (13 : 2004 : Barcelona, España) | Schmidt, David A, 1953- [editor] | ETAPS 2004 (2004 : Barcelona , España).
por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) | Yi, Kwangkeun [editor] | SAS (13 : 2006 : Seúl, Corea).
por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) | Pfenning, Frank [editor].