Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996
The articles of this issue will be reviewed individually. The proceedings have been reviewed (see Lecture Notes in Computer Science 1145 (1996; Zbl 0855.68002). The 6th symposium 1999 has been indicated (see Zbl 0929.00064).
scientific article; zbMATH DE number 1383537