Jian Xiang, John C. Knight, Kevin J. Sullivan. Synthesis of Logic Interpretations. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 114-121, IEEE, 2016. [doi]
Abstract is missing.