Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, editors, Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Volume 12549 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Conference: vstte2020

This author has not been identified. Look up 'Maria Christakis' in GoogleThis author has not been identified. Look up 'Nadia Polikarpova' in GoogleThis author has not been identified. Look up 'Parasara Sridhar Duggirala' in GoogleThis author has not been identified. Look up 'Peter Schrammel' in Google

runs on WebDSL