Merkliste 
 1 Ergebnisse 
 
1

Verification algebra for multi‐tenant applications in VaaS ..:

Hu, Kai ; Wan, Ji ; Luo, Kan...
Software Testing, Verification and Reliability.  31 (2021)  6 - p. , 2021