Cover von Automated Technology for Verification and Analysis opens in new tab

Automated Technology for Verification and Analysis

8th International Symposium, Singapore, September 21 - 24, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6252
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 6252 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Symposium on Automated Technology for Verification and Analysis <8, 2010, Singapore>

Details

Search for this author
Year: 2010
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-15642-7
ISBN (2nd): 3-642-15642-8
Description: XI, 404 S.
Series: Lecture notes in computer science; 6252
Participating parties: Search for this character Bouajjani, Ahmed; Chin, Wei-Ngan
Parallel title: ATVA 2010
Media group: MONOGRAPHIE