搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Cliff B. Jones
DOI:
关键词: Computer science 、 Programming language
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
School of Computing Science Technical Report Series,2014, 引用: 1
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications,2014, 引用: 3
european symposium on programming,2004, 引用: 5
european symposium on programming,2013, 引用: 38
certified programs and proofs,2011, 引用: 0
Computer Aided Verification,2012, 引用: 41
foundations of software technology and theoretical computer science,1997, 引用: 5
european symposium on programming,2014, 引用: 3
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead,1988, 引用: 27
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme:,2010, 引用: 4
