Flexible Interpolation with Local Proof Transformations
Additional information
Authors
Bruttomesso R.,
Rollini S. F.,
Sharygina N.,
Tsitovich A.
Type
Article in conference proceedings
Year
2010
Language
English
Conference proceedings
International Conference of Computer Aided Design (ICCAD)
Publisher
IEEE Computer Society
Meeting place
San Jose, USA
