Lecture Notes in Computer Science: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Bouajjani, Ahmed; Chin, Wei-Ngan

Details

Published by: Springer

Publication Date: 2010-09-03

Format: Paperback

ISBN-13: 9783642156427

DOI: 10.1007/978-3-642-15643-4

Dimensions: cm xcm

Pages: 404