José Meseguer 人物
相关论文查看全部 (10)
Security Policies and Security Models
1982引用 2091
Conditional rewriting logic as a unified model of concurrency
1992Theoretical Computer Science引用 1318
Maude: specification and programming in rewriting logic
2002Theoretical Computer Science引用 772
相关公司查看全部 (3)
University of Illinois Urbana-ChampaignUNIVERSITY
Stanford UniversityUNIVERSITY
Menlo SchoolUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据