Howard Foster, George Spanoudakis, Khaled Mahbub. Formal Certification and Compliance for Run-Time Service Environments. In Louise E. Moser, Manish Parashar, Patrick C. K. Hung, editors, 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012. pages 17-24, IEEE, 2012. [doi]
Abstract is missing.