Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers is a textbook that provides an overview of the latest developments in software verification. The book contains xxvi, 239 pages and is written in English. It has a length of 9.3 inches and a width of 6.1 inches. The book is a trade paperback with a weight of 16 oz. It is published by Springer International Publishing A&G and is part of the Lecture Notes in Computer Science series. The book's ISBN-13 is 9783030636173. The author of the book is Nadia Polikarpova. The book's subject areas are Computers, Programming Languages, Software Development & Engineering, and Computer Science.