Cover von Verification, Model Checking, and Abstract Interpretation opens in new tab

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17 - 19, 2016 : Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9583
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Verification, Model Checking, and Abstract Interpretation <17, 2016, St. Petersburg>

Details

Search for this author
Year: 2016
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-662-49121-8
ISBN (2nd): 3-662-49121-4
Description: XIII, 556 S.
Series: Lecture notes in computer science : ARCoSS; 9583
Participating parties: Search for this character Jobstmann, Barbara; Leino, K. Rustan M.
Media group: MONOGRAPHIE