Polikarpova, Nadia books & textbook
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Papers (Programming and Software Engineering)
Christakis, Maria Polikarpova, Nadia Duggirala, Parasara Sridhar Schrammel, Peter
Springer /2020-12-06 Paperback / 268 Pages
isbn-10: 3030636178 / isbn-13: 9783030636173
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Programming and Software Engineering)
Polikarpova, Nadia Schneider, Steve
Springer /2017-08-27 Paperback / 459 Pages
isbn-10: 3319668447 / isbn-13: 9783319668444
