Statistics
Publications
1
Citations
98
H-Index
1
Active since
2011
Affiliations
ETH Zurich(Current)
Nikolay Kazmin is an author at ETH Zurich specializing in deductive verification, contract theory, and computer science.
Publications per year
2011–2011
1
1
Yi Wei, Carlo A. Furia, Nikolay Kazmin et al. · 2011 · 98 citations
1–1 of 1