![](/img/cover-not-exists.png)
[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Exploring interpolants
Rummer, Philipp, Subotic, PavleYear:
2013
Language:
english
DOI:
10.1109/fmcad.2013.6679393
File:
PDF, 808 KB
english, 2013