Cover Image

Automated technology for verification and analysis

4th international symposium ; proceedings

Part of: Lecture notes in computer science ; 4218
Author: Graf, Susanne (Editor)
ATVA ; 4 ; 2006 ; Peking
Media Type: Printed Book
Language: English
Published: Berlin [u.a.], Springer, 2006
ISBN: 3-540-47237-1
978-3-540-47237-7
Subjects:

Internet

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable INF 367/054-2006 108208638