Xavier Leroy 人物

关系图谱

4

相关论文

2

相关公司

0

相关事件

0

相关专利

0

相关文章

详细信息

主页LinkedInORCIDOpenAlex

相关论文查看全部 (4)

Formal verification of a realistic compiler
2009Communications of the ACM引用 1112
Formal certification of a compiler back-end or
2006引用 651
A Formally Verified Compiler Back-end
2009Journal of Automated Reasoning引用 482
Effector membrane translocation biosensors reveal G protein and βarrestin coupling profiles of 100 therapeutically relevant GPCRs
2022eLife引用 253顶会

相关公司查看全部 (2)

Domain Therapeutics (France)COMPANY
Institut national de recherche en informatique et en automatiqueCOMPANY

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据