Q1781069
type: Item
instance of: scholarly article
title: 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.
zbMATH Open document ID: 1075.68523
published in: Computer Languages, Systems \& Structures
publication date: 2005-06-15T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00056).
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 2176312
MaRDI profile type: Publication
full work available at URL: j.cl.2004.05.001
OpenAlex ID: W2069870302
DOI: 10.1016/J.CL.2004.05.001
label: 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.
description: scientific article; zbMATH DE number 2176312