Lecture Notes in Computer Science: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Leavens, Gary T.; O'Hearn, Peter; Rajamani, Sriram K

Details

Published by: Springer

Publication Date: 2010-08-05

Format: Paperback

ISBN-13: 9783642150562

DOI: 10.1007/978-3-642-15057-9

Dimensions: cm xcm

Pages: 217