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.
@inproceedings{Souyris04,
title = {Industrial experience of abstract interpretation-based static analyzers},
author = {Jean Souyris},
year = {2004},
tags = {rule-based},
researchr = {https://researchr.org/publication/Souyris04},
cites = {0},
citedby = {0},
pages = {393-400},
booktitle = {Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France},
editor = {René Jacquart},
publisher = {Kluwer},
isbn = {1-4020-8156-1},
}