搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Koji Okada , Kokichi Futatsugi
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
Fifth Generation Computer Systems,1982, 引用: 6
international symposium on functional and logic programming,2002, 引用: 7
formal methods,1999, 引用: 30
formal methods,2003, 引用: 1
international conference on formal engineering methods,2010, 引用: 17
Cybernetics and Systems Analysis,1986, 引用: 1
international conference on software engineering,1982, 引用: 9
Electronic Notes in Theoretical Computer Science,1998, 引用: 18
international conference on software engineering,1989, 引用: 5
international conference on software engineering,1988, 引用: 4
