Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceed
by Neil Jones, Markus Müller-Olm Paperback 2008
- Author: Neil Jones, Markus Müller-Olm
- ISBN 13: 9783540938996
- ISBN 10: 3540938990
- Publication Year: 2008
- Language: English
Specifications
| Index-10 | 3540938990 |
|---|---|
| Index-13 | 9783540938996 |
| Language | English |