Statistics
Publications
1
Citations
60
H-Index
1
Active since
2007
Affiliations
The University of Texas at Austin(Current)
Iván García is an author at The University of Texas at Austin specializing in assertion-based verification, data structures, and program verification.
Publications per year
2007–2007
1
1
Assertion-based repair of complex data structures
Bassem Elkarablieh, Iván García, Yuk Lai Suen et al. · 2007 · 60 citations · Full text
1–1 of 1