Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
by David L. Dill Perfect 1994
- Author: David L. Dill
- ISBN 13: 9783540581796
- ISBN 10: 3540581790
- Publication Year: 1994
- Language: English
Specifications
| Index-10 | 3540581790 |
|---|---|
| Index-13 | 9783540581796 |
| Language | English |
✨ Readers also enjoyed...
Poetry Goes to School : From Mothe…