Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
by Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen Paperback 1
- Author: Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
- ISBN 13: 9783662460801
- ISBN 10: 3662460807
- Publication Year: 1
- Language: English
Specifications
| Index-10 | 3662460807 |
|---|---|
| Index-13 | 9783662460801 |
| Language | English |