| Original language | English (US) |
|---|---|
| Publisher | Springer |
| Number of pages | 439 |
| State | Published - 2001 |
Publication series
| Name | LNCS 2126 |
|---|
Static analysis, 8th international symposium, SAS 2001, Paris, France, July 16-18 2001, Proceeding of the
Patrick Cousot (Editor)
Research output: Book/Report › Book