Compensation by design

Xi Liu, Shaofa Yang, J. W. Sanders. Compensation by design. Formal Asp. Comput., 26(4):623-676, 2014. [doi]

Abstract

Abstract is missing.