| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings | 978-3-540-58485-8 (3-540-58485-4) | 2008 | |
| Static Analysis: First International Static Analysis Symposium, Sas '94 Namur, Belgium, September 28-30, 1994 Proceedings | 978-0-387-58485-0 (0-387-58485-4) | 1994 |