Merkliste 
 1 Ergebnisse 
 
1

Caught-in-Translation (CiT): Detecting Cross-Level Inconsis..:

Lakshmanan, Sudershan ; Zhang, Mengyuan ; Majumdar, Suryadipta...
IEEE Transactions on Dependable and Secure Computing.  21 (2024)  4 - p. 2964-2981 , 2024