Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Paperback Published on: 30/11/2012
Price: £39.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642357459
- Number of pages: 183
- Dimensions: 235 x 155 mm
- Languages: English


