Lecture Notes in Computer Science: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai

Details

Published by: Springer

Publication Date: 2010-10-19

Format: Paperback

ISBN-13: 9783642166112

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

Dimensions: cm xcm

Pages: 492