Ranjit Jhala

机  构:  University of California San Diego
领  域:  算法与理论, 软件工程, 编程语言

论文统计图
引用最多的论文 更多>>
Sigplan Notices  2002
439次引用 0 0
Sigplan Notices  2002
438次引用 0 0
SPIN  2003
223次引用 0 0
International Conference on Software Engineering  2004
184次引用 0 0
Sigplan Notices  2004
161次引用 0 0
最新的论文 更多>>
Computing Research Repository  2014
0次引用 0 0
Programming Languages meets Program Verification  2014
0次引用 0 0
European Symposium on Programming  2013
1次引用 0 0
SIGPLAN Conference on Programming Language Design and Implementation  2012
0次引用 0 0
Computer Aided Verification  2012
0次引用 0 0
Feedback
Feedback
Feedback
我想反馈:
排行榜