Author
Juan José Moreno Navarro
Also Known As
J. J. Moreno Navarro, Juan José Moreno Navarro, Moreno Navarro, Juan José
16
Publications
144
Citations
2
H-Index
6
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 1 | 1 | 134 |
2 | Computer Science | 1 | 1 | 134 |
3 | Automated Reasoning | 1 | 1 | 134 |
4 | Formal Methods | 1 | 1 | 134 |
5 | Formal Verification | 1 | 1 | 134 |
Juan José Moreno Navarro
×
1
Publications
134
Citations
1
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1