未登录Generating and Exploiting Automated Reasoning Proof Certificates
Barbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni .png)
分享.png)
收藏One-Click Formal MethodsBackes, John; Bolignano, Pauline; Cook, Byron; Gacek, Andrew; Luckow, Kasper Soe; Rungta, Neha; Schaef, Martin; Schlesinger, Cole; Tanash, Rima; Varming, Carsten; Whalen, Michael 分享 收藏 Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform使用创新的计算平台优化慢性粒细胞白血病的药物靶标Chuang, Ryan; Hall, Benjamin A.; Benque, David; Cook, Byron; Ishtiaq, Samin; Piterman, Nir; Taylor, Alex; Vardi, Moshe; Koschmieder, Steffen; Gottgens, Berthold; Fisher, Jasmin 分享 收藏 分享 收藏 分享 收藏 
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}