Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CAV
2006
Springer
117views Hardware» more  CAV 2006»
11 years 5 months ago
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...
books