Patrick Cousot, editor, Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Volume 2126 of Lecture Notes in Computer Science, Springer, 2001.
Conference: SAS2001
@proceedings{sas:2001, title = {Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings}, year = {2001}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/sas%3A2001}, cites = {0}, citedby = {0}, booktitle = {Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings}, conference = {SAS}, editor = {Patrick Cousot}, volume = {2126}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42314-1}, }