Statistics
Publications
1
Citations
13
H-Index
1
Active since
2008
Affiliations
University of Wyoming(Current)
Nadya Kuzmina is an author at University of Wyoming specializing in specification languages, constraint solving, and computer engineering.
Publications per year
2008–2008
1
1
Extending dynamic constraint detection with disjunctive constraints
Nadya Kuzmina, John Paúl, Ruben Gamboa et al. · 2008 · 13 citations
1–1 of 1