| Original language | English |
|---|---|
| Title of host publication | Static Analysis - 3rd International Symposium, SAS 1996, Proceedings |
| Publisher | Springer |
| Pages | 174-188 |
| Number of pages | 15 |
| ISBN (Print) | 3540617396, 9783540617396 |
| Publication status | Published - 1 Jan 1996 |
| Externally published | Yes |
| Event | 3rd International Static Analysis Symposium - Aachen, Germany Duration: 24 Sept 1996 → 26 Sept 1996 Conference number: 3 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1145 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 3rd International Static Analysis Symposium |
|---|---|
| Abbreviated title | SAS 1996 |
| Country/Territory | Germany |
| City | Aachen |
| Period | 24.09.1996 → 26.09.1996 |
ID: 14280606