NPNadia Polikarpova
Nadia Polikarpova
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Nadia Polikarpova has a total of 4 co-authors. Here are the top co-authors by number of shared publications:
- Carlo Alberto Furia
Software Institute, USI Università della Svizzera italiana, Lugano, Switzerland
2 shared publications Julian Tschannen
ETH Zurich
1 shared publication- Julian Tschannen
ETH Zurich
1 shared publication Martin Nordio
ETH Zurich
1 shared publication
Latest Publications
- 6 April 2016
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 19 (6) , 697-716
AutoProof: auto-active functional verification of object-oriented programs
- 6 April 2016
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 19 (6) , 697-716
AutoProof: auto-active functional verification of object-oriented programs