logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

T
technical university of munich
学者数:
7.4K
论文数: 2.9K
被引数: 1
S
sri international
学者数:
1.5K
论文数: 1.1K
被引数: 4
引用论文

引用论文

Code‐level model checking in the software development workflow at Amazon Web Services在Amazon Web Services的软件开发工作流中的代码级模型检测
errSoftware: Practice and Experience
IF0
err2021-01-20
err0
errOAAI
errNathan Chong; Byron Cook; Jonathan Eidelman; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz‐Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle
err分享
err收藏
The Trusted Computing Base of the CompCert Verified Compiler
errLecture Notes in Computer Science
IF0
err2022-01-01
err0
PREAI
errMonniaux,David; Boulmé,Sylvain
err分享
err收藏
A Billion SMT Queries a Day (Invited Paper)
errLecture Notes in Computer Science
IF0
err2022-01-01
err0
PREAI
errRungta,Neha
err分享
err收藏
Specifying and Composing Layered Architectures.指定和组合分层架构
errThe Journal of Object Technology
IF0
err
err0
PREAI
errBroy,Manfred; Selić,Bran
err分享
err收藏