Reading Length
Home
Speed Tests
Login
Peter Schrammel
Identifiers
Open Library
OL10062941A
Books by Peter Schrammel
Total count: 1
Software Verification
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
Springer International Publishing AG
2020-01-01
