Strengthening Properties using Abstraction Refinement
METADATA ONLY
Loading...
Author / Producer
Date
2009
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Design, Automation & Test in Europe Conference & Exhibition, 2009 : DATE '09 ; 20 - 24 April 2009, Nice, France ; proceedings
Journal / series
Volume
Pages / Article No.
1692 - 1697
Publisher
IEEE
Event
12th Design, Automation & Test in Europe Conference Exhibition