申请试用
HOT
登录
注册
 
Lightweight Verification of Array Indexing - University of Washington

Lightweight Verification of Array Indexing - University of Washington

Horin
/
发布于
/
1713
人观看
T @MinLen(i) [] a. Evaluation. Three case studies: Google Guava (two packages); JFreeChart; plume-lib. Comparison to existing tools: FindBugs, KeY, Clousot.
1 点赞
0 收藏
0下载
确认
3秒后跳转登录页面
去登陆