Andrey Rybalchenko 人物
详细信息
相关论文查看全部 (5)
Termination proofs for systems code
2006ACM SIGPLAN Notices引用 322
Transition invariants
2004引用 252
Termination proofs for systems code
2006引用 237
相关公司查看全部 (3)
Technical University of MunichUNIVERSITY
Max Planck Institute for InformaticsRESEARCH_INSTITUTE
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据