Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994
The articles of this volume will be reviewed individually. The 6th symposium 1999 has been indicated (see Zbl 0929.00064).
scientific article; zbMATH DE number 1383798