共 50 条
Guest editorial: special issue on emerging challenges in software certification and verification
被引:0
|作者:
Luigi De Simone
Nuno Laranjeiro
Domenico Cotroneo
机构:
[1] Università degli Studi di Napoli Federico II,Dipartimento di Ingegneria Elettrica e delle Tecnologie dell’Informazione (DIETI)
[2] University of Coimbra,Centre for Informatics and Systems of the University of Coimbra, Department of Informatics Engineering
来源:
关键词:
D O I:
暂无
中图分类号:
学科分类号:
摘要:
引用
收藏
页码:305 / 306
页数:1
相关论文