Analysing Approximate Confinement under Uniform Attacks

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Analysing Approximate Confinement under Uniform Attacks. In Manuel V. Hermenegildo, Germán Puebla, editors, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Volume 2477 of Lecture Notes in Computer Science, pages 310-325, Springer, 2002. [doi]

Abstract

Abstract is missing.