Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Hermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.
Berlin, Heidelberg: Springer Berlin / Heidelberg 2002
Texto completo disponível