搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： S Drossopoulou , S Eisenbach , T Valkevych
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,2003, 引用: 101
asian symposium on programming languages and systems,2001, 引用: 4
,2004, 引用: 7
italian conference on theoretical computer science,2003, 引用: 9
,2008, 引用: 1
Journal of telecommunications and information technology,2002, 引用: 1
FM 2006: Formal Methods,2006, 引用: 18
european conference on object oriented programming,2002, 引用: 20
european conference on object oriented programming,2005, 引用: 91
Lecture Notes in Computer Science,2006, 引用: 2
imperial.ac.uk