Yong Shi, Mingzhi Wen, Filipe Roseiro Côgo, Boyuan Chen, Zhen Ming Jiang. An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems. IEEE Trans. Software Eng., 48(9):3361-3377, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.