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

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12 - 15, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9364
Media group: MONOGRAPHIE
available

Copies

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

Content

International Symposium on Automated Technology for Verification and Analysis <13, 2015, Shanghai>

Details

Search for this author
Year: 2015
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-24952-0
ISBN (2nd): 3-319-24952-5
Description: XIII, 520 S.
Series: Lecture notes in computer science; 9364
Participating parties: Search for this character Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Media group: MONOGRAPHIE