Sciweavers

Share
CAV
2004
Springer

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

11 years 5 months ago
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Jacob Chang, Sergey Berezin, David L. Dill
Comments (0)
books