Author

Nadia Polikarpova

2 books found

Cover of Software Verification

Software Verification

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel · First published 2020

Cover of Integrated Formal Methods

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider · First published 2017