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]
@inproceedings{BruttomessoRST10, title = {Flexible interpolation with local proof transformations}, author = {Roberto Bruttomesso and Simone Rollini and Natasha Sharygina and Aliaksei Tsitovich}, year = {2010}, doi = {10.1109/ICCAD.2010.5654297}, url = {http://dx.doi.org/10.1109/ICCAD.2010.5654297}, tags = {transformation}, researchr = {https://researchr.org/publication/BruttomessoRST10}, cites = {0}, citedby = {0}, pages = {770-777}, booktitle = {2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA}, publisher = {IEEE}, }