Shuvendu Lahiri

机  构:  Microsoft
领  域:  算法与理论, 硬件与体系结构, 软件工程

论文统计图
引用最多的论文 更多>>
Computer Aided Verification  2002
193次引用 0 0
International Conference on Software Engineering  2007
164次引用 0 0
Design Automation Conference  2003
72次引用 0 0
Computer Aided Verification  2003
71次引用 0 0
Formal Methods in Computer-Aided Design  2002
61次引用 0 0
最新的论文 更多>>
Sigplan Notices  2013
1次引用 0 0
Conference on Automated Deduction  2013
0次引用 0 0
International Workshop on Principles of Software Evolution  2013
2次引用 0 0
SIGPLAN Conference on Programming Language Design and Implementation  2013
0次引用 0 0
International Workshop on Principles of Software Evolution  2013
0次引用 0 0
Feedback
Feedback
Feedback
我想反馈:
排行榜