Automatic verification of health regulatory compliance in cloud computing.

Khaled M. Khan, Yun Bai

Browse the full HealthCom paper archive.