학술논문
Flexible interpolation with local proof transformations.
Document Type
Article
Author
Source
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD); 2010, p770-777, 8p
Subject
Language