Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
by Achim Brucker, Jacques Julliand Paperback 2012
- Author: Achim Brucker, Jacques Julliand
- ISBN 13: 9783642304729
- ISBN 10: 3642304729
- Publication Year: 2012
- Language: English
Specifications
| Index-10 | 3642304729 |
|---|---|
| Index-13 | 9783642304729 |
| Language | English |