ISBN 9783030636173 books & textbook
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Papers (Programming and Software Engineering)
Christakis, Maria Polikarpova, Nadia Duggirala, Parasara Sridhar Schrammel, Peter
Springer /2020-12-06 Paperback / 268 Pages
isbn-10: 3030636178 / isbn-13: 9783030636173
