Statistics
Publications
1
Citations
32
H-Index
1
Active since
2022
Affiliations
The University of Texas at Austin(Current)
Adrian Trejo Nuñez is an author at The University of Texas at Austin specializing in automated reasoning, formal verification, and program analysis.
Publications per year
2022–2022
1
1