Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings /
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000. The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All...
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2000
Berlin ; New York : ©2000 |
Series: | Lecture notes in computer science ;
1824 Lecture notes in computer science 1824 |
Subjects: |
Internet
Stanford University
Call Number: |
QA76.6 .I5733 7TH 2000 |
---|
Massachusetts Institute of Technology
Call Number: |
QA76.6.S2656 2000 |
---|
Johns Hopkins University
Call Number: |
QA76.6.I5733 2000 |
---|