Verification, model checking, and abstract interpretation
by VMCAI 2004 (Conference) (2004 Venice, Italy)
- ISBN
- 3540208038
Verification, model checking, and abstract interpretation is a verification, computer programs book by VMCAI 2004 (Conference) (2004 Venice, Italy).
Discover Verification, model checking, and abstract interpretation by VMCAI 2004 (Conference) (2004 Venice, Italy), verification.
About the Author
is the author of Verification, model checking, and abstract interpretation. Browse their full catalog on Booklogr.
Explore more books by VMCAI 2004 (Conference) (2004 Venice, Italy) →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Verification, model checking, and abstract interpretation?+
Verification, model checking, and abstract interpretation is a Verification, Computer programs book.
Who wrote Verification, model checking, and abstract interpretation?+
Verification, model checking, and abstract interpretation was written by VMCAI 2004 (Conference) (2004 Venice, Italy).