Login / Signup
An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems.
Yong Shi
Mingzhi Wen
Filipe Roseiro Côgo
Boyuan Chen
Zhen Ming Jiang
Published in:
IEEE Trans. Software Eng. (2022)
Keyphrases
</>
commercial systems
open source
small scale
background information
databases
real world
natural images
database systems
sufficient conditions
database
three dimensional
high quality
input image