Synthesis of Logic Interpretations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jian Xiang' in GoogleThis author has not been identified. Look up 'John C. Knight' in GoogleThis author has not been identified. It may be one of the following persons:

Kevin J. Sullivan

Look up 'Kevin J. Sullivan' in Google

runs on WebDSL