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.
From MaRDI portal
Publication:1781069
DOI10.1016/J.CL.2004.05.001zbMath1075.68523OpenAlexW2069870302MaRDI QIDQ1781069
No author found.
Publication date: 15 June 2005
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cl.2004.05.001
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication: 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.
