Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003.
The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00056).
scientific article; zbMATH DE number 2176312