Flexible interpolation with local proof transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich. Flexible interpolation with local proof transformations. In 2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA. pages 770-777, IEEE, 2010. [doi]

This author has not been identified. Look up 'Roberto Bruttomesso' in GoogleThis author has not been identified. Look up 'Simone Rollini' in GoogleThis author has not been identified. Look up 'Natasha Sharygina' in GoogleThis author has not been identified. Look up 'Aliaksei Tsitovich' in Google

runs on WebDSL