Why Should I Trust Your Code?

被引：0

作者：

Delignat-Lavaud, Antoine ^{[1
]}

Fournet, Cedric ^{[1
]}

Vaswani, Kapil ^{[1
]}

Clebsch, Sylvan ^{[2
]}

Riechert, Maik ^{[3
]}

Costa, Manuel ^{[4
]}

Russinovich, Mark ^{[5
]}

机构：

[1] Microsoft, Azure Res, Cambridge, England

[2] Microsoft, Azure Res, Austin, TX USA

[3] Microsoft Res, Cambridge, England

[4] Microsoft, Cambridge, England

[5] Microsoft Azure, Bellevue, WA USA

来源：

关键词：

723 Computer Software; Data Handling and Applications - 723.2 Data Processing and Image Processing;

D O I：

10.1145/3624578

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：68 / 76

页数：9