Options
Title
Software Verification. 12th International Conference, VSTTE 2020 and 13th International Workshop, NSV 2020
Title Supplement
Los Angeles, CA, USA, July 20-21, 2020. Revised Selected Papers
Person Involved
Publisher
Publishing Place
Cham
Publication Date
2020
Series
Lecture Notes in Computer Science; 12549
ISBN
978-3-030-63617-3
978-3-030-63618-0
978-3-030-63619-7