Static analysis proceedings
SAS '94
First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Baudouin Le Charlier (ed.)
- XII, 463 S. graph. Darst. 24 cm
- Lecture notes in computer science 864 .
- 86400 .
- Lecture notes in computer science 864 .