Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Maria Christakis (editor), Nadia Polikarpova (editor), Parasara Sridhar Duggirala (editor), Peter Schrammel (editor)
Paperback Published on: 06/12/2020
Price: £44.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030636173
- Number of pages: 239
- Dimensions: 235 x 155 mm
- Languages: English