Formal Methods for Industrial Critical Systems : 20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings
by Manuel Núñez, Marilyn McFarlane Paperback 2015
- Author: Manuel Núñez, Marilyn McFarlane
- ISBN 13: 9783319194578
- ISBN 10: 3319194577
- Publication Year: 2015
- Language: English
Specifications
| Index-10 | 3319194577 |
|---|---|
| Index-13 | 9783319194578 |
| Language | English |