Nikolaï Kosmatov 人物

关系图谱

2

相关论文

3

相关公司

0

相关事件

0

相关专利

0

相关文章

详细信息

ORCIDOpenAlex

相关论文查看全部 (2)

Frama-C: A software analysis perspective
2015Formal Aspects of Computing引用 383
Frama-C
2012Lecture notes in computer science引用 340

相关公司查看全部 (3)

Direction de la Recherche FondamentaleRESEARCH_INSTITUTE
Laboratoire d'Intégration des Systèmes et des TechnologiesGOVERNMENT
Commissariat à l'Énergie Atomique et aux Énergies AlternativesGOVERNMENT

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据