Syntax-Guided Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shamwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. Syntax-Guided Synthesis. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-25, IOS Press, 2015. [doi]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Rastislav Bodík' in GoogleThis author has not been identified. Look up 'Eric Dallal' in GoogleThis author has not been identified. Look up 'Dana Fisman' in GoogleThis author has not been identified. Look up 'Pranav Garg 0001' in GoogleThis author has not been identified. Look up 'Garvit Juniwal' in GoogleThis author has not been identified. Look up 'Hadas Kress-Gazit' in GoogleThis author has not been identified. Look up 'P. Madhusudan' in GoogleThis author has not been identified. Look up 'Milo M. K. Martin' in GoogleThis author has not been identified. Look up 'Mukund Raghothaman' in GoogleThis author has not been identified. Look up 'Shamwaditya Saha' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'Rishabh Singh' in GoogleThis author has not been identified. Look up 'Armando Solar-Lezama' in GoogleThis author has not been identified. Look up 'Emina Torlak' in GoogleThis author has not been identified. Look up 'Abhishek Udupa' in Google

runs on WebDSL