| Original language | English |
|---|---|
| Title of host publication | Static Analysis - 4th International Symposium, SAS 1997 |
| Publisher | Springer-Verlag GmbH and Co. KG |
| Pages | 361-363 |
| Number of pages | 3 |
| ISBN (Print) | 9783540634683 |
| Publication status | Published - 1 Jan 1997 |
| Externally published | Yes |
| Event | 4th International Symposium on Static Analysis, SAS 1997 - Paris, France Duration: 8 Sept 1997 → 10 Sept 1997 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1302 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 4th International Symposium on Static Analysis, SAS 1997 |
|---|---|
| Country/Territory | France |
| City | Paris |
| Period | 08.09.1997 → 10.09.1997 |
ID: 14280538