Vladimir Levin 人物
相关论文查看全部 (3)
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
2004Lecture notes in computer science引用 283
A decade of software model checking with SLAM
2011Communications of the ACM引用 219
相关公司
暂无数据
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据