Omar Jaradat, Iain Bate. Deriving Hierarchical Safety Contracts. In Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang, editors, 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015. pages 119-128, IEEE, 2015. [doi]
Abstract is missing.