Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
by Jyotirmoy Deshmukh, Dejan Ničković Paperback 2020
- Author: Jyotirmoy Deshmukh, Dejan Ničković
- ISBN 13: 9783030605070
- ISBN 10: 3030605078
- Publication Year: 2020
- Language: English
Specifications
| Index-10 | 3030605078 |
|---|---|
| Index-13 | 9783030605070 |
| Language | English |
✨ Readers also enjoyed...
NASA Formal Methods : 14th Interna…