Nadia Polikarpova

Identifiers

Open LibraryOL7959593A

Books by Nadia Polikarpova

Total count: 2

Integrated Formal Methods13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Springer2017-08-27
Software Verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers

Springer International Publishing AG2020-01-01