1. Verification algebra for multi‐tenant applications in VaaS architecture. (1st February 2021) Authors: Hu, Kai; Wan, Ji; Luo, Kan; Xu, Yuzhuang; Cheng, Zijing; Tsai, Wei‐Tek Journal: Software testing, verification & reliability Issue: Volume 31:Number 6(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗