Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings

DOI10.1007/3-540-36384-XzbMath1031.68005OpenAlexW4300117125MaRDI QIDQ1422161

No author found.

Publication date: 5 February 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2937.htm

zbMATH Keywords

Venice (Italy)Model checking Verification Abstract interpretation VMCAI 2004

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings