Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer , Martin Nordio
No ratings yet
Nov 30, 2012 · English · Paperback (191 pages)
Add To Shelf

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
Add To Shelf

Rate this book

Export Book Journal