Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings
type: Item
instance of: scholarly article
title: Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings
zbMATH Open document ID: 1014.00022
published in: Lecture Notes in Computer Science
publication date: 2003-06-17T00:00:00Z
full work available at URL: t2575.htm
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1929313
zbMATH Keywords: Verification
zbMATH Keywords: Model checking
zbMATH Keywords: Abstract interpretation
zbMATH Keywords: VMCAI 2003
zbMATH Keywords: New York, NY, USA
MaRDI profile type: Publication
DOI: 10.1007/978-3-030-67067-2
OpenAlex ID: W3209334694
Recommended article: Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings
Recommended article: Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
Recommended article: Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. Proceedings
Recommended article: Q1781069
Recommended article: Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20--22, 2013. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16--21, 2020. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8--10, 2006. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings
Recommended article: Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19--21, 2014. Proceedings
description: scientific article; zbMATH DE number 1929313