VCEGAR: Verilog CounterExample Guided Abstraction Refinement

Бібліографічні деталі
Автори: Jain, H, Kroening, D, Sharygina, N, Clarke, E
Формат: Conference item
Опубліковано: Springer 2007