Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16û21, 2020, Proceedings
Springer
ISBN13:
9783030393212
$97.68
- | Author: Dirk Beyer, Damien Zufferey
- | Publisher: Springer
- | Publication Date: Feb 07, 2020
- | Number of Pages: 488 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030393216
- | ISBN-13: 9783030393212
- Author:
- Dirk Beyer, Damien Zufferey
- Publisher:
- Springer
- Publication Date:
- Feb 07, 2020
- Number of pages:
- 488 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030393216
- ISBN-13:
- 9783030393212