sas2003

Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Radhia Cousot (ed.), Lecture Notes in Computer Science, Springer, 2003.

BibTex Reference

@Book{sas2003,
   Title = {Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings},
   BookTitle = {SAS},
   editor = {Cousot, Radhia},
   Volume = {2694},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)