Robert E. Strom 人物
相关论文查看全部 (2)
Typestate: A programming language concept for enhancing software reliability
1986IEEE Transactions on Software Engineering引用 623
Protocol specifications and component adaptors
1997ACM Transactions on Programming Languages and Systems引用 553
相关公司查看全部 (1)
IBM Research - Thomas J. Watson Research CenterRESEARCH_INSTITUTE
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据