Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Sel
by Supratik Chakraborty, Jorge Navas Paperback 2020
- Author: Supratik Chakraborty, Jorge Navas
- ISBN 13: 9783030415990
- ISBN 10: 3030415996
- Publication Year: 2020
- Language: English
Specifications
| Index-10 | 3030415996 |
|---|---|
| Index-13 | 9783030415990 |
| Language | English |