Merkliste 
 1 Ergebnisse 
 
1

An Experience Report on Producing Verifiable Builds for Lar..:

Shi, Yong ; Wen, Mingzhi ; Cogo, Filipe R...
IEEE Transactions on Software Engineering.  48 (2022)  9 - p. 3361-3377 , 2022