Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020,
by Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel Paperback 2020
- Author: Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
- ISBN 13: 9783030636173
- ISBN 10: 3030636178
- Publication Year: 2020
- Language: English
Specifications
Index-103030636178
LanguageEnglish
Index-139783030636173
Period-
Class Track-
Publisher- (2020)
Pages-