Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. Why Should I Trust Your Code?. Communications of the ACM, 67(1):68-76, January 2024. [doi]
@article{DelignatLavaudFVCRCR24, title = {Why Should I Trust Your Code?}, author = {Antoine Delignat-Lavaud and Cédric Fournet and Kapil Vaswani and Sylvan Clebsch and Maik Riechert and Manuel Costa and Mark Russinovich}, year = {2024}, month = {January}, doi = {10.1145/3624578}, url = {https://doi.org/10.1145/3624578}, researchr = {https://researchr.org/publication/DelignatLavaudFVCRCR24}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {67}, number = {1}, pages = {68-76}, }