Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings

Radhia Cousot, editor, Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Volume 2694 of Lecture Notes in Computer Science, Springer, 2003.

Conference: SAS2003

@proceedings{sas:2003,
  title = {Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings},
  year = {2003},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/sas%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings},
  conference = {SAS},
  editor = {Radhia Cousot},
  volume = {2694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40325-6},
}