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]
No references recorded for this publication.
No citations of this publication recorded.