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

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15 - 17, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 10145
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Verification, Model Checking, and Abstract Interpretation <18, 2017, Paris>

Details

Search for this author
Year: 2017
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-52233-3
ISBN (2nd): 3-319-52233-7
Description: XVII, 558 S.
Series: Lecture notes in computer science : ARCoSS; 10145
Participating parties: Search for this character Bouajjani, Ahmed; Monniaux, David
Media group: MONOGRAPHIE