Lifting propositional interpolants to the word-level
METADATA ONLY
Loading...
Author / Producer
Date
2007
Publication Type
Other Conference Item
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Volume
Pages / Article No.
85 - 89
Publisher
IEEE
Event
Conference on Formal Methods in Computer Aides Design