Flavio Lerda 人物
相关论文查看全部 (2)
A Tool for Checking ANSI-C Programs
2004Lecture notes in computer science引用 1380
Model Checking Programs
2003Automated Software Engineering引用 1352
相关公司查看全部 (3)
Ames Research CenterRESEARCH_INSTITUTE
Research Institute for Advanced Computer ScienceRESEARCH_INSTITUTE
Carnegie Mellon UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据