搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： D. Bjørner , Cliff B. Jones , Derek Andrews
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,1989, 引用: 7
ifip conference on history of nordic computing,2010, 引用: 2
algebraic methodology and software technology,2000, 引用: 5
Lecture Notes in Computer Science,2003, 引用: 7
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference,2008, 引用: 21
,1998, 引用: 3
,2009, 引用: 2
formal methods,1997, 引用: 2
,1994, 引用: 15
,2004, 引用: 1
