Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings


Lecture Notes in Computer Science
Engels
(0 recensies)
Verification, Model Checking, and Abstract Interpretation, Dirk Beyer ; Damien Zufferey - Paperback - 9783030393212
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
-
Nog geen recensies. Wees de eerste!

Hostname: pro-mbooks3