BibTeX记录日志/mam/AgireEBBGBFEOOPPSSTTBYS21
@文章{DBLP:journals/mam/AgireBBGBBFEOOPPSSTTBYS21， author={Joseba Andoni Agirre和 Leire Etxeberria和 劳尔·巴博萨和 Stylianos Basagiannis和 乔治·吉安塔米迪斯和 托马斯·鲍尔和 Enrico Ferrari和 Mikel Labayen Esnaola和 Vanessa Orani和 约翰尼·博格和 David Pereira和 Jos{\'{e}}Proen{\c{c}}a和 Rupert Schlick和 Ales Smrcka和 Walter Tiberti和 斯特凡诺·托内塔和 Marco Bozzano和 Ahmet Yazici和 Behrooz Sangchoolie}， title＝｛VALU3S｝｛ECSEL｝项目：自动化的验证和验证 系统安全}， journal={Microprocess.Microsystems}， 体积＝{87}， 页数={104349}， 年份={2021}， url={ https://doi.org/10.1016/j.micpro.2021.104349 }, doi={10.1016/J.MICPRO.2021.104349}， timestamp={2023年12月21日星期四07:56:12+0100}， 比布尔={ https://dblp.org/rec/journals/mam/AgireBBGBBFEOOPSTTBYS21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
