Special issue: Static analysis symposium (SAS'99), Venice, Italy, September 22--24, 1999. Selected papers
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1964686