| Original language | English |
|---|---|
| Title of host publication | Static Analysis |
| Number of pages | 10 |
| Publisher | Springer Science+Business Media |
| Publication date | 1996 |
| Pages | 42-51 |
| Publication status | Published - 1996 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 1145 |
| ISSN | 0302-9743 |