Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler. A Composition Mechanism for Refinement-Based Methods. In 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. pages 100-109, IEEE Computer Society, 2017. [doi]
Abstract is missing.