Runtime verification: 20th international conference, rv 2020, los angeles, ca, usa, october 6–9, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030605070
Date de publication :
8 oct. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.