Statistics
Publications
3
Citations
112
H-Index
3
Active since
2003
Affiliations
Nina Amla is an author at Cadence Design Systems (United States) specializing in computing, computer science, and automated proof checking.
Publications per year
2003–2017
3
3
Using Z specifications in category partition testing
Nina Amla, Paul Ammann · 2003 · 42 citations
Francisco Carpio, Admela Jukan, Ana Isabel Martín Sanchez et al. · 2017 · 25 citations
1–3 of 3