Abhishek Udupa
发表
Rajeev Alur,
Abhishek Udupa,
Jyotirmoy V. Deshmukh,
2013,
PLDI.
A. Udupa,
Abhishek Udupa,
2013
.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Rajeev Alur,
Mukund Raghothaman,
Abhishek Udupa,
2015,
CAV.
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
Proc. ACM Program. Lang..
Rajeev Alur,
Milo M. K. Martin,
Mukund Raghothaman,
2014,
Haifa Verification Conference.