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

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11990
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Verification, Model Checking, and Abstract Interpretation <21, 2020, New Orleans>

Details

Search for this author
Year: 2020
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-030-39321-2
ISBN (2nd): 3-030-39321-6
Description: 470 S.
Series: Lecture notes in computer science; 11990
Participating parties: Search for this character Beyer, Dirk; Zufferey, Damien
Media group: MONOGRAPHIE