Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili. Abstract Error Projection. In Hanne Riis Nielson, Gilberto Filé, editors, Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Volume 4634 of Lecture Notes in Computer Science, pages 200-217, Springer, 2007. [doi]
Abstract is missing.