Jean Souyris. Industrial experience of abstract interpretation-based static analyzers. In René Jacquart, editor, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France. pages 393-400, Kluwer, 2004.
Abstract is missing.