Gå direkte til innholdet
Verification, Model Checking, and Abstract Interpretation
Spar

Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
Undertittel
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Opplag
2020 ed.
ISBN
9783030393212
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
7.2.2020
Antall sider
471