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

Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7561
Media group: MONOGRAPHIE
available

Copies

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

Content

International Symposium on Automated Technology for Verification and Analysis <10, 2012, Thiruvananthapuram>
 

Details

Search for this author
Year: 2012
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-33385-9
ISBN (2nd): 3-642-33385-0
Description: XIV, 436 S.
Series: Lecture notes in computer science; 7561
Participating parties: Search for this character Chakraborty, Supratik; Mukund, Madhavan
Media group: MONOGRAPHIE