Modular Synthesis of Sketches Using Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama. Modular Synthesis of Sketches Using Models. In Kenneth L. McMillan, Xavier Rival, editors, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Volume 8318 of Lecture Notes in Computer Science, pages 395-414, Springer, 2014. [doi]

This author has not been identified. Look up 'Rohit Singh' in GoogleThis author has not been identified. Look up 'Rishabh Singh' in GoogleThis author has not been identified. Look up 'Zhilei Xu' in GoogleThis author has not been identified. Look up 'Rebecca Krosnick' in GoogleThis author has not been identified. Look up 'Armando Solar-Lezama' in Google

runs on WebDSL