Gilberto Filé, Francesco Ranzato. Complementation of Abstract Domains made Easy. In JICSLP. pages 348-362, 1996.
@inproceedings{FileR96, title = {Complementation of Abstract Domains made Easy}, author = {Gilberto Filé and Francesco Ranzato}, year = {1996}, researchr = {https://researchr.org/publication/FileR96}, cites = {0}, citedby = {0}, pages = {348-362}, booktitle = {JICSLP}, }