Bo Wang, Hongbiao Gao, Jingde Cheng. Contract-Based Programming for Future Computing with Ada 2012. In International Conference on Advanced Cloud and Big Data, CBD 2016, Chengdu, China, August 13-16, 2016. pages 322-327, IEEE, 2016. [doi]
Abstract is missing.