The dogged pursuit of bug-free C programs

The dogged pursuit of bug-free C programs
复制标题

对无错误 C 程序的不懈追求

DOI：
--
复制
发表时间：
2021
期刊：
Communications of the ACM
影响因子：
22.7
通讯作者：
Nicky Williams
Nicky Williams
中科院分区：
计算机科学3区
文献类型：
--
作者：
P. Baudin;François Bobot;David Bühler;Loïc Correnson;F. Kirchner;N. Kosmatov;A. Maroneze;Valentin Perrelle;Virgile Prevosto;Julien Signoles;Nicky Williams

文献摘要

被引文献

相似文献

一个流行的C程序分析和验证平台的全景图。
A panoramic view of a popular platform for C program analysis and verification.