Merkliste 
 1 Ergebnisse 
 
1

Runtime Verification of Crypto APIs: An Empirical Study:

Torres, Adriano ; Costa, Pedro ; Amaral, Luis...
IEEE Transactions on Software Engineering.  49 (2023)  10 - p. 4510-4525 , 2023