Statistics
Publications
1
Citations
78
H-Index
1
Active since
2002
Affiliations
Alex Warshavsky is an author at IBM Research - Thomas J. Watson Research Center specializing in abstraction, verification, and symbolic execution.
Publications per year
2002–2002
1
1
1–1 of 1