Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper

331 pages • paperback

13 editions

nonfiction computer science design medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Description

This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation, ModelChecking, andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofth...

Show More

Community Reviews

Loading...

Content Warnings

Loading...