Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science

Byron Cook

No ratings yet

2007 · English · Kindle

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review

Rate this book

Export Book Journal