![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Software Verification Volume 12549 (12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20â21, 2020, Revised Selected Papers) ||
Christakis, Maria, Polikarpova, Nadia, Duggirala, Parasara Sridhar, Schrammel, PeterVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-63618-0
File:
PDF, 13.50 MB
2020